5695 search results - page 721 / 1139 » Using Many Cameras as One |
179
click to vote
AI
2004
Springer
15 years 7 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
197
click to vote
ASE
2004
15 years 7 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
184
click to vote
ECCC
2000
15 years 7 months ago
2000
A simple extension of standard neural network models is introduced which provides a model for neural computations that involve both firing rates and firing correlations. Such an ex...
207
click to vote
SIAMCOMP
2000
15 years 7 months ago
2000
We study the problem of achieving reliable communication with quiescent algorithms (i.e., algorithms that eventually stop sending messages) in asynchronous systems with process cra...
198
click to vote
JASSS
2002
15 years 7 months ago
2002
What is the degree of sophistication that we have to put into the agents in agents based computer simulation models? Should we provide them with a "mind"? The answer ran...