955 search results - page 154 / 191 » Tractable Temporal Reasoning |
112
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
We show that the log-likelihood of several probabilistic graphical models is Lipschitz continuous with respect to the p-norm of the parameters. We discuss several implications ...
100
click to vote
ACL
2012
13 years 2 months ago
2012
Temporal reasoners for document understanding typically assume that a document’s creation date is known. Algorithms to ground relative time expressions and order events often re...
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
IJCAI
1997
15 years 1 months ago
1997
We consider the frame problem, that is, char acterizing the assumption that properties tend to persist over time. We show that there are at least three distinct assumptions that...
230
click to vote
GIS
2006
ACM
16 years 26 days ago
2006
ACM
If you were told that some object A was perfectly (or somewhat, or not at all) in some direction (e.g., west, above-right) of some reference object B, where in space would you loo...