1929 search results - page 303 / 386 » A Problem Space Approach to Expert System Specification |
175
Voted
SPIN
2004
Springer
15 years 8 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
142
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Navigating through unknown outdoor environments requires a robot to be able to see and model the far field terrain. In recent years this problem of seeing beyond relia...
161
Voted
3DIM
2011
IEEE
14 years 3 months ago
2011
IEEE
—Image-based computation of a 3D map for an indoor environment is a very challenging task, but also a useful step for vision-based navigation and path planning for autonomous sys...
162
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: An alternative to standard approaches to uncover biologically meaningful structures in micro array data is to treat the data as a blind source separation (BSS) problem...
126
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
The most popular approaches for reconstructing phylogenetic trees attempt to solve NP-hard optimization criteria such as maximum parsimony (MP). Currently, the bestperforming heur...