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 7 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 ...
ICRA
2002
IEEE
164views Robotics» more  ICRA 2002»
15 years 6 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...
140
Voted
AROBOTS
2002
126views more  AROBOTS 2002»
15 years 1 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
119
Voted
WINET
2010
88views more  WINET 2010»
15 years 7 days 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
15 years 2 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