Sciweavers

468 search results - page 53 / 94
» A multi-objective approach to search-based test data generat...
Sort
View
ICRA
1998
IEEE
76views Robotics» more  ICRA 1998»
15 years 10 months ago
A Hybrid Collision Avoidance Method for Mobile Robots
This paper proposes a hybrid approach to the problem of collision avoidance for indoor mobile robots. The DWA (short for: model-based dynamic window approach) integrates sensor dat...
Dieter Fox, Wolfram Burgard, Sebastian Thrun, Armi...
ICPR
2010
IEEE
15 years 8 months ago
A Semi-Supervised Gaussian Mixture Model for Image Segmentation
In this paper, the results of a semi-supervised approach based on the Expectation-Maximisation algorithm for model-based clustering are presented. We show in this work that, if th...
Adolfo Martínez-Usó, F. Pla, Jose Martínez Soto...
TCBB
2008
137views more  TCBB 2008»
15 years 6 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
DBPL
1997
Springer
133views Database» more  DBPL 1997»
15 years 10 months ago
Automatic Verification of Transactions on an Object-Oriented Database
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
David Spelt, Herman Balsters
DATE
2010
IEEE
161views Hardware» more  DATE 2010»
15 years 11 months ago
BISD: Scan-based Built-In self-diagnosis
Abstract—Built-In Self-Test (BIST) is less often applied to random logic than to embedded memories due to the following reasons: Firstly, for a satisfiable fault coverage it may...
Melanie Elm, Hans-Joachim Wunderlich