1884 search results - page 231 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
132
click to vote
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In this paper, we present an image-based markerless human motion capture system, intended for humanoid robot systems. The restrictions set by this ambitious goal are nu...
177
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
131
click to vote
DEDS
2002
15 years 1 months ago
2002
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
108
click to vote
DAC
2000
ACM
16 years 2 months ago
2000
ACM
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...
122
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...