Sciweavers

6042 search results - page 901 / 1209
» Repeated Observation Models
Sort
View
FMCAD
2004
Springer
15 years 10 months ago
Bloom Filters in Probabilistic Verification
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
Peter C. Dillinger, Panagiotis Manolios
EUROS
2006
224views Robotics» more  EUROS 2006»
15 years 10 months ago
Metric Localization with Scale-Invariant Visual Features Using a Single Perspective Camera
Abstract. The Scale Invariant Feature Transform (SIFT) has become a popular feature extractor for vision-based applications. It has been successfully applied to metric localization...
Maren Bennewitz, Cyrill Stachniss, Wolfram Burgard...
GECCO
2006
Springer
134views Optimization» more  GECCO 2006»
15 years 10 months ago
The Baldwin effect under spatial isolation and autonomous reproduction
The impact of learning on evolution in dynamic environments undergoes recognized stages of the Baldwin Effect although its cause is not clear. To identify it experimentally, we de...
H. L. Peng, J. C. Tay
ICMI
2000
Springer
171views Biometrics» more  ICMI 2000»
15 years 10 months ago
Gaze and Speech in Attentive User Interfaces
The trend toward pervasive computing necessitates finding and implementing appropriate ways for users to interact with devices. We believe the future of interaction with pervasive ...
Paul P. Maglio, Teenie Matlock, Christopher S. Cam...
RECOMB
2000
Springer
15 years 10 months ago
Using Bayesian networks to analyze expression data
DNA hybridization arrays simultaneously measure the expression level for thousands of genes. These measurements provide a "snapshot" of transcription levels within the c...
Nir Friedman, Michal Linial, Iftach Nachman, Dana ...