10909 search results - page 1804 / 2182 » Evaluating Backup Algorithms |
186
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Identifying the structure of unknown molecules is an important activity in the pharmaceutical industry where it underpins the production of new drugs and the analysis of ...
186
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
163
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper studies self-organized flocking in a swarm of mobile robots. We present Kobot, a mobile robot platform developed specifically for swarm robotic studies, briefly describ...
142
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We study the problem of agents locating other agents that are both capable and willing to help complete assigned tasks. An agent incurs a fixed cost for each help request it sends...
191
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
As virtual characters become more autonomous, their use in interactive drama is growing. By creating interesting and well authored personalities, these characters are able to inte...