3557 search results - page 624 / 712 » The Dynamics of Mass Interaction |
100
Voted
TSP
2008
15 years 21 days ago
2008
Abstract-- This paper addresses the problem of tracking extended objects, such as ships or a convoy of vehicles moving in urban environment. Two Monte Carlo techniques for extended...
134
click to vote
AMAI
2004
Springer
15 years 21 days ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
114
Voted
AC
2002
Springer
15 years 21 days ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
105
click to vote
CCR
2004
15 years 21 days ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
117
click to vote
AAMAS
2000
Springer
15 years 20 days ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...