3729 search results - page 181 / 746 » On Formal Modeling of Agent Computations |
161
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
186
click to vote
TDSC
2010
15 years 1 months ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
206
click to vote
AMIRE
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. We introduce mathematically rigorous metrics on agent experiences having various temporal horizons. Sensorimotor variables accessible to the agent are treated as informat...
194
click to vote
FMCAD
2004
Springer
15 years 12 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
152
click to vote
GIS
1999
ACM
15 years 10 months ago
1999
ACM
: The paper is concerned with the effective and efficient processing of spatiotemporal selection queries under varying degrees of approximation. Such queries may employ operators l...