2203 search results - page 233 / 441 » Temporal Abstract Interpretation |
129
click to vote
LATA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...
125
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
122
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Tactile telepresence has been expected to be technology which encourages operators of robotic systems to remotely maneuver objects or recognize materials being touched ...
158
Voted
HUMO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we present a novel tool for body-part segmentation and tracking in the context of multiple camera systems. Our goal is to produce robust motion cues over ti...
142
Voted
MLMI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes an analysis technique for wide-band audio applications based on the predictability of the temporal evolution of Quadrature Mirror Filter (QMF) sub-ban...