878 search results - page 147 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
116
click to vote
EUSFLAT
2007
15 years 1 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...
109
click to vote
AAAI
1997
15 years 1 months ago
1997
We address the problem of visually detecting causal events and tting them together into a coherent story of the action witnessed by the camera. We show that this can be done by re...
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
Abstract: Research in sociology studies the effectiveness of social networks in achieving computational tasks. Typically the agents who are supposed to achieve a task are unaware o...
CADE
2006
Springer
16 years 4 days ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
KR
1992
Springer
15 years 3 months ago
1992
Springer
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...