Sciweavers

1222 search results - page 217 / 245
» A Bayesian Approach to Model Checking Biological Systems
Sort
View
ICTAC
2010
Springer
15 years 14 days ago
Scalable Distributed Concolic Testing: A Case Study on a Flash Storage Platform
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
Yunho Kim, Moonzoo Kim, Nam Dang
ICIP
1998
IEEE
16 years 3 months ago
Adaptive Restoration of Speckled SAR Images using a Compound Random Markov Field
This paper proposes a restoration scheme for noisy images generated by coherent imaging systems (e.g., synthetic aperture radar, synthetic aperture sonar, ultrasound imaging, and ...
José M. B. Dias, José M. N. Leit&ati...
IROS
2009
IEEE
205views Robotics» more  IROS 2009»
15 years 8 months ago
Probabilistic categorization of kitchen objects in table settings with a composite sensor
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
Zoltan Csaba Marton, Radu Bogdan Rusu, Dominik Jai...
CIVR
2003
Springer
166views Image Analysis» more  CIVR 2003»
15 years 7 months ago
Evaluation of Expression Recognition Techniques
The most expressive way humans display emotions is through facial expressions. In this work we report on several advances we have made in building a system for classification of f...
Ira Cohen, Nicu Sebe, Yafei Sun, Michael S. Lew, T...
129
Voted
TIP
2010
141views more  TIP 2010»
14 years 8 months ago
Efficient Particle Filtering via Sparse Kernel Density Estimation
Particle filters (PFs) are Bayesian filters capable of modeling nonlinear, non-Gaussian, and nonstationary dynamical systems. Recent research in PFs has investigated ways to approp...
Amit Banerjee, Philippe Burlina