580 search results - page 88 / 116 » Approximation Algorithms for Temporal Reasoning |
115
click to vote
AIPS
2006
15 years 3 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...
130
Voted
EACL
1993
ACL Anthology
15 years 3 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...
117
Voted
ENTCS
2007
15 years 2 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...
119
click to vote
IPL
2010
15 years 25 days 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...
198
click to vote
CVPR
2011
IEEE
14 years 6 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...