1052 search results - page 92 / 211 » Distributed Logic Programming using Mobile Agents |
135
Voted
ROBOCOMM
2007
IEEE
15 years 9 months ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...
127
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Babylon v2.0 is a collection of tools and services that provide a 100% Java compatible environment for developing, running and managing parallel, distributed and mobile Java appli...
105
click to vote
PDPTA
2003
15 years 4 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...
141
Voted
EPIA
2003
Springer
15 years 8 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
138
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...