12115 search results - page 2217 / 2423 » Bisimulation of Dynamical Systems |
173
click to vote
JAPLL
2010
15 years 5 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
140
click to vote
JNS
2010
15 years 5 months ago
2010
This paper introduces a new method to show the validity of a continuum description for the deterministic dynamics of many interacting particles. Here the many particle evolution is...
167
click to vote
NA
2010
15 years 5 months ago
2010
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...
205
click to vote
PAMI
2010
15 years 5 months ago
2010
—Facial expression is a natural and powerful means of human communication. Recognizing spontaneous facial actions, however, is very challenging due to subtle facial deformation, ...
168
click to vote
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
Given a contact network that changes over time (say, day vs night connectivity), and the SIS (susceptible/infected/susceptible, flu like) virus propagation model, what can we say ...