2609 search results - page 351 / 522 » Models for Global Constraint Applications |
129
click to vote
ECAL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a model of the co-evolution of transmissible disease and a population of non-randomly mixed susceptible agents. The presence of the disease elements i...
126
click to vote
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
We address the problem of selecting sensors so as to minimize the error in estimating the position of a target. We consider a generic sensor model where the measurements can be in...
151
Voted
GRAPHITE
2003
ACM
15 years 9 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
147
Voted
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
136
click to vote
VRST
1998
ACM
15 years 8 months ago
1998
ACM
Distributed virtual environments allow users at di erent geographical locations to share and interact within a common virtual environment via a local network or through the Intern...