4341 search results - page 405 / 869 » Quantitative Model checking |
213
click to vote
ALGOSENSORS
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
180
click to vote
SCAI
2008
15 years 8 months ago
2008
Abstract. In the design of behavior-based control architectures for robots it is common to use biology as inspiration, and often the observed functionalities of insect behaviors ar...
196
click to vote
PAMI
2010
15 years 5 months ago
2010
—In this paper we present a compositional and dynamic model for face aging. The compositional model represents faces in each age group by a hierarchical And-Or graph, in which An...
178
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
We develop a Bayesian model of digitized archival films and use this for denoising, or more specifically de-graining, individual frames. In contrast to previous approaches our mod...
154
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
In this paper, we review the paradigm of inductive process modeling, which uses background knowledge about possible component processes to construct quantitative models of dynamic...