7049 search results - page 184 / 1410 » Data Abstraction for CSP-OZ |
173
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract— This paper addresses the problem of people detection using 2D range data and omnidirectional vision. The range data is often used in robotics to detect person legs. Fir...
166
click to vote
FCT
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
152
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract— Since sensor nodes normally have limited resources in terms of energy, bandwidth and computation capability, efficiency is a key design goal in sensor network research...
203
click to vote
IDEAS
2005
IEEE
16 years 3 days ago
2005
IEEE
The recent proliferation of XML-based standards and technologies for managing data on the Web demonstrates the need for effective and efficient management of treestructured data....
161
click to vote
AP2PC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The research in the paper is motivated by building a decentralized/P2P XML storage on top of a DHT (Distributed Hash Table). The storage must provide high data availabili...