580 search results - page 88 / 116 » Approximation Algorithms for Temporal Reasoning |
135
click to vote
AIPS
2006
15 years 5 months ago
2006
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
153
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
140
click to vote
ENTCS
2007
15 years 4 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
139
click to vote
IPL
2010
15 years 2 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
234
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
Video provides not only rich visual cues such as motion and appearance, but also much less explored long-range temporal interactions among objects. We aim to capture such interact...