1385 search results - page 209 / 277 » Natural Rewriting for General Term Rewriting Systems |
141
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
164
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Recognizing and annotating the occurrence of team actions in observations of embodied agents has applications in surveillance and in training of military or sport teams. We descri...
134
click to vote
GECCO
2007
Springer
16 years 17 days ago
2007
Springer
We present a new framework for artificial life involving physically simulated, three-dimensional blocks called Division Blocks. Division Blocks can grow and shrink, divide and fo...
155
click to vote
ICDT
2007
ACM
16 years 16 days ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
185
click to vote
MIDDLEWARE
2007
Springer
16 years 16 days ago
2007
Springer
Context awareness has emerged as an important element in distributed computing. It offers mechanisms that allow applications to be aware of their environment and enable these appl...