254 search results - page 41 / 51 » A Behavioral Module System for the Pi-Calculus |
ICRA
2000
IEEE
15 years 4 months ago
2000
IEEE
Autonomous planetary rovers operating in vast unknown environments must operate efficiently because of size, power and computing limitations. Recently, we have developed a rover c...
103
Voted
AGENTS
1997
Springer
15 years 3 months ago
1997
Springer
This paper gives a technical description of Creatures, a commercial home-entertainment software package. Creatures provides a simulated environment in which exist a number of synt...
106
click to vote
AAAI
2007
15 years 2 months ago
2007
How should a robot represent and reason about spatial information when it needs to collaborate effectively with a human? The form of spatial representation that is useful for robo...
ECAI
2008
Springer
15 years 1 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
JOCN
2010
14 years 10 months ago
2010
■ Is morphology a discrete and independent element of lexical structure or does it simply reflect a fine-tuning of the system to the statistical correlation that exists among or...