757 search results - page 116 / 152 » Monte Carlo Model Checking |
121
click to vote
RT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a new data structure for encoding the appearance of a geometric model as seen from a viewing region (view cell). This representation can be used in interactive...
124
click to vote
ATAL
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
116
Voted
CVPR
1999
IEEE
15 years 7 months ago
1999
IEEE
We introduce an approach to feature-based object recognition, using maximum a posteriori (MAP) estimation under a Markov random field (MRF) model. This approach provides an effici...
111
click to vote
ICCAD
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents an efficient statistical design methodology that allows simultaneous sizing for performance and optimization for yield and robustness of analog circuits. The s...
118
Voted
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
- We demonstrate that the network flux over the sensor network provides us fingerprint information about the mobile users within the field. Such information is exoteric in the phys...