1860 search results - page 323 / 372 » A Temporal Logic of Robustness |
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Periodicity is useful for compact representation of periodic motion and a reasonable selection of a proper temporal scale for periodic motion analysis. In this paper, we concern t...
SP
2005
IEEE
14 years 2 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
CP
2005
Springer
14 years 2 months ago
2005
Springer
Many problems used in AI planning including Blocks, Logistics, Gripper, Satellite, and others lack the interactions that characterize puzzles and can be solved nonoptimally in low...
MLMI
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Object localization and tracking are key issues in the analysis of scenes for video surveillance or scene understanding applications. This paper presents a contribution t...
MIPS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. For video adaptation in universal multimedia access systems, video contents have to be transcoded according to the requirements of network bandwidth and the performance o...