4117 search results - page 474 / 824 » On the Satisfiability of Complex Constraints |
173
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Minimizing the computing infrastructure (such as processors) in a distributed real-time embedded (DRE) system deployment helps reduce system size, weight, power consumption, and c...
167
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Robotic manipulation is important for real, physical world applications. General Purpose manipulation with a robot (eg. delivering dishes, opening doors with a key, etc...
180
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Skid-steered mobile robots are widely used because of the simplicity of mechanism and high reliability. However, understanding of the kinematics and dynamics of such a ...
178
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
220
click to vote
MIG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Despite the large success of games grounded on movement-based interactions the current state of full body motion capture technologies still prevents the exploitation of p...