2203 search results - page 69 / 441 » Temporal Abstract Interpretation |
119
Voted
TMI
1998
15 years 2 months ago
1998
Abstract— This paper reports a novel method for fully automated segmentation that is based on description of shape and its variation using point distribution models (PDM’s). An...
139
Voted
CADE
2010
Springer
15 years 2 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. In an automated setting, termination tools are concerned with parametric polynomi...
113
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
115
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We present a novel approach to the causal temporal analysis of event data from video content. Our key observation is that the sequence of visual words produced by a space-time dic...
166
click to vote
EMNLP
2008
15 years 4 months ago
2008
One major bottleneck in conversational systems is their incapability in interpreting unexpected user language inputs such as out-ofvocabulary words. To overcome this problem, conv...