Sciweavers

5165 search results - page 690 / 1033
» Consistency of the Neighbor-Net Algorithm
Sort
View
WACV
2007
IEEE
15 years 11 months ago
Localization and Mapping for Autonomous Navigation in Outdoor Terrains : A Stereo Vision Approach
We consider the problem of autonomous navigation in unstructured outdoor terrains using vision sensors. The goal is for a robot to come into a new environment, map it and move to ...
Motilal Agrawal, Kurt Konolige, Robert C. Bolles
AIME
2007
Springer
15 years 11 months ago
Inference in the Promedas Medical Expert System
Abstract. In the current paper, the Promedas model for internal medicine, developed by our team, is introduced. The model is based on up-todate medical knowledge and consists of ap...
Bastian Wemmenhove, Joris M. Mooij, Wim Wiegerinck...
COCOA
2007
Springer
15 years 11 months ago
On Threshold BDDs and the Optimal Variable Ordering Problem
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...
Markus Behle
CP
2007
Springer
15 years 11 months ago
GAC Via Unit Propagation
In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on a constraint is by using unit propagation (UP) over a C...
Fahiem Bacchus
ESTIMEDIA
2007
Springer
15 years 11 months ago
Run-time Task Overlapping on Multiprocessor Platforms
Today’s embedded applications often consist of multiple concurrent tasks. These tasks are decomposed into subtasks which are in turn assigned and scheduled on multiple different...
Zhe Ma, Daniele Paolo Scarpazza, Francky Catthoor