878 search results - page 129 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
179
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Emergent processes are non-routine, collaborative business processes whose execution is guided by the knowledge that emerges during a process instance. In so far as the process go...
159
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
145
click to vote
AAAI
1998
15 years 7 months ago
1998
This paper describes the software architecture of an autonomous tour-guide/tutor robot. This robot was recently deployed in the "Deutsches Museum Bonn," were it guided h...
181
click to vote
MAAMAW
1994
Springer
15 years 10 months ago
1994
Springer
One objective of distributed artificial intelligence research is to build systems that are capable of cooperative problem solving. To this end, a number of implementation-oriented ...
203
click to vote
TMC
2012
13 years 8 months ago
2012
WiFi interface is known to be a primary energy consumer in mobile devices, and idle listening (IL) is the dominant source of energy consumption in WiFi. Most existing protocols, s...