Sciweavers

216 search results - page 27 / 44
» Model based estimation and verification of mobile device per...
Sort
View
GECCO
2004
Springer
164views Optimization» more  GECCO 2004»
15 years 5 months ago
Fuzzy Dominance Based Multi-objective GA-Simplex Hybrid Algorithms Applied to Gene Network Models
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
Praveen Koduru, Sanjoy Das, Stephen Welch, Judith ...
90
Voted
ICRA
2002
IEEE
164views Robotics» more  ICRA 2002»
15 years 4 months ago
Conditional Particle Filters for Simultaneous Mobile Robot Localization and People-Tracking
Abstract—This paper presents a probabilistic algorithm for simultaneously estimating the pose of a mobile robot and the positions of nearby people in a previously mapped environm...
Michael Montemerlo, Sebastian Thrun, William Whitt...
AROBOTS
2002
126views more  AROBOTS 2002»
14 years 11 months ago
Selecting Landmarks for Localization in Natural Terrain
We describe techniques to optimally select landmarks for performing mobile robot localization by matching terrain maps. The method is based upon a maximum-likelihood robot localiza...
Clark F. Olson
WINET
2010
88views more  WINET 2010»
14 years 10 months ago
Tree-based object tracking without mobility statistics in wireless sensor networks
Object tracking in wireless sensor networks is to track mobile objects by scattered sensors. These sensors are typically organized into a tree to deliver report messages upon dete...
Li-Hsing Yen, Bang Ye Wu, Chia-Cheng Yang
JTRES
2010
ACM
14 years 12 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens