1860 search results - page 241 / 372 » A Temporal Logic of Robustness |
127
click to vote
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
160
click to vote
JSC
2010
14 years 8 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
115
click to vote
CVPR
1999
IEEE
16 years 3 months ago
1999
IEEE
A simple algorithm is described that computes the radiometric responsefunction of an imaging system,from images of an arbitrar), scene taken using different exposures. The exposur...
111
click to vote
CVPR
2000
IEEE
16 years 3 months ago
2000
IEEE
The quest for a vision system capable of representing and recognizing arbitrary motions benefits from a low dimensional, non-specific representation of flow fields, to be used in ...
115
click to vote
CVPR
2003
IEEE
16 years 3 months ago
2003
IEEE
Video-based recognition and prediction of a temporally extended activity can benefit from a detailed description of high-level expectations about the activity. Stochastic grammars...