The Concept of Real Number

Autor: Tennant, Neil, author

Publikováno v: The Logic of Number, 2022.

Externí odkaz: https://doi.org/10.1093/oso/9780192846679.003.0021

Hierarchies of probabilistic models of space for mobile robots: the bayesian map and the abstraction operator

Autor: Julien Diard, Pierre Bessière, Emmanuel Mazer

Publikováno v: Proc. of the Workshop on Reasoning with Uncertainty in Robotics
Proc. of the Workshop on Reasoning with Uncertainty in Robotics, Aug 2003, Acapulco (MX), France
HAL

voir basilic : http://emotion.inrialpes.fr/bibemotion/2003/DBM03b/ address: Acapulco (MX); This paper presents a new method for probabilistic modelling of space, called the Bayesian Map for- malism. It offers a generalization of some com- mon approac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5ff10fc3bde8852bb0dd79df6b27fe13
https://hal.inria.fr/inria-00182081/document

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

SOME TRANSFORMATIONAL EXTENSIONS OF MONTAGUE GRAMMAR**This paper is a written version of a talk given in April, 1972, in the Linguistics and Semantics Workshop at the University of Western Ontario. A preliminary version was given in March at the University of Massachusetts at Amherst, and a version was also given at a colloquium at UC San Diego. The first part of the paper, like the first part of the talks, is a condensation of a talk which I gave in various forms and places in the fall and winter 1971–72. A fuller treatment of the same subject can be found in my ‘Montague Grammar and Transformational Grammar’. My debts to others in this work are too numerous to list here, but I must at least mention Richmond Thomason, whose suggestions about the abstraction operator helped me get my first ideas about how to accommodate transformations in the Montague framework; Michael Bennett, whose continuing extensions of Montague's work have fertilized and challenged my own; David Kaplan, who has given me constant encouragement and taught me a great deal about philosophy and logic; and of course Richard Montague and Noam Chomsky, without whom I wouldn't have had a starting point. I am also grateful to all the students and other audiences who have given me helpful comments and criticisms, particularly the linguistics and philosophy students in my Montague seminar at UCLA, Winter-Spring, 1972

Autor: BARBARA PARTEE

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2b20388ee8a36231e2e63539cd681b17
https://doi.org/10.1016/b978-0-12-545850-4.50008-x

Multilabeled Petri Nets

Autor: Kasper Dokter

Publikováno v: Formal Aspects of Component Software ISBN: 9783030409135
FACS

We introduce multilabeled Petri nets as an inherently parallel generalization of constraint automata. Composition of multilabeled nets does not suffer from state-space explosions, which makes them an adequate intermediate representation for code gene

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c0126e173133e62af620992e73289ca1
https://doi.org/10.1007/978-3-030-40914-2_6