3396 search results - page 544 / 680 » Tree representations of graphs |
102
click to vote
CIG
2005
IEEE
15 years 10 months ago
2005
IEEE
AbstractWe describe Utile Coordination, an algorithm that allows a multiagent system to learn where and how to coordinate. The method starts with uncoordinated learners and maintai...
129
click to vote
HAPTICS
2005
IEEE
15 years 10 months ago
2005
IEEE
Haptic devices can be used to visualize information. As well as representing tangible surfaces and forces to enhance virtual training simulators for instance, haptic devices have ...
161
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
136
click to vote
MFCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
135
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...