2203 search results - page 5 / 441 » Temporal Abstract Interpretation |
FORMATS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
EMMCVPR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Tracking is usually interpreted as finding an object in single consecutive frames. Regularization is done by enforcing temporal smoothness of appearance, shape and motio...
SIGLEX
1991
14 years 1 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...
ACL
2006
13 years 11 months ago
2006
The interpretation of temporal expressions in text is an important constituent task for many practical natural language processing tasks, including question-answering, information...
ITP
2010
13 years 11 months ago
2010
ied Denotational Abstract Interpreter (Proof Pearl) David Cachera1 and David Pichardie2 1 IRISA / ENS Cachan (Bretagne), France 2 INRIA Rennes