8671 search results - page 407 / 1735 » A generator for hierarchical problems |
164
click to vote
ICRA
2003
IEEE
16 years 4 days ago
2003
IEEE
Locomotion is considered as most basic function of robots. In the case of ordinary robots, they are not needed to change locomotion pattern because their configurations are consta...
167
click to vote
SAC
2003
ACM
16 years 3 days ago
2003
ACM
We study in this paper the problem of broadcasting dependent data for unordered queries. However, most prior studies on dependent data broadcasting are limited to the premise of n...
211
click to vote
VRML
2003
ACM
16 years 3 days ago
2003
ACM
Many Web3D sites do not offer sufficient assistance to (especially novice) users in navigating the virtual world, find objects/places of interests, and learn how to interact with ...
174
click to vote
CSL
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Abduction is a fundamental mode of reasoning, which has taken on increasing importance in Artificial Intelligence (AI) and related disciplines. Computing abductive expla...
177
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
The verification of industrial systems specified with CSP often implies the analysis of many concurrent and synchronized components. The cost associated to these analyses is usu...