6020 search results - page 620 / 1204 » A New Approach to Model Counting |
204
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
- This paper introduces a new perceptual model for Monte Carlo Localization (MCL). In our approach a 3D laser scanner is used to observe the ceiling. The MCL matches ceiling struct...
271
Voted
ICMCS
2005
IEEE
16 years 26 days ago
2005
IEEE
Visual attention is obtained through determination of contrasts of low level features or attention cues like intensity, color etc. We propose a new texture attention cue that is s...
167
click to vote
PATMOS
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. In this paper we present a new approach to power modeling and runtime power estimation for wireless network interface cards (WNICs). We obtain run-time power estimates by...
192
Voted
FDL
2003
IEEE
16 years 17 days ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
210
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...