85 search results - page 10 / 17 » Observing Some Properties of Event Structures |
SAC
2002
ACM
13 years 7 months ago
2002
ACM
This paper describes some extensions added to the continuous simulation language OOCSMP to perform agent-oriented simulation. The extensions are tested by simulating the evolution...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
NIPS
2007
13 years 9 months ago
2007
Many perceptual processes and neural computations, such as speech recognition, motor control and learning, depend on the ability to measure and mark the passage of time. However, ...
IS
2008
13 years 7 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
ICML
1994
IEEE
13 years 11 months ago
1994
IEEE
Conservation of information (COI) popularized by the no free lunch theorem is a great leveler of search algorithms, showing that on average no search outperforms any other. Yet in ...