Sciweavers

3475 search results - page 511 / 695
» A DEA approach for model combination
Sort
View
IJCAI
1989
15 years 7 months ago
Coping With Uncertainty in Map Learning
In many applications in mobile robotics, it is important for a robot to explore its environment in order to construct a representation of space useful for guiding movement. We refe...
Kenneth Basye, Thomas Dean, Jeffrey Scott Vitter
IJRR
2006
183views more  IJRR 2006»
15 years 6 months ago
Bayesian Occupancy Filtering for Multitarget Tracking: An Automotive Application
Reliable and efficient perception and reasoning in dynamic and densely cluttered environments are still major challenges for driver assistance systems. Most of today's system...
Christophe Coué, Cédric Pradalier, C...
ICST
2010
IEEE
15 years 5 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
ISOLA
2010
Springer
15 years 5 months ago
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Fr...
MICCAI
2010
Springer
15 years 5 months ago
Brain Morphometry by Probabilistic Latent Semantic Analysis
The paper proposes a new shape morphometry approach to combine advanced classification techniques with geometric features in order to identify morphological abnormalities on brain...
Umberto Castellani, Alessandro Perina, Vittorio Mu...