Sciweavers

579 search results - page 105 / 116
» Constraint Validation in Model Compilers
Sort
View
AIPR
2001
IEEE
13 years 11 months ago
A Qualitative Image Reconstruction from an Axial Image Sequence
This paper presents a method to process axial monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only to ...
Philippe Guermeur, Edwige Pissaloux
ECAI
2008
Springer
13 years 9 months ago
Incremental Component-Based Construction and Verification of a Robotic System
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
Ananda Basu, Matthieu Gallien, Charles Lesire, Tha...
AAAI
2010
13 years 9 months ago
Multi-Instance Dimensionality Reduction
Multi-instance learning deals with problems that treat bags of instances as training examples. In single-instance learning problems, dimensionality reduction is an essential step ...
Yu-Yin Sun, Michael K. Ng, Zhi-Hua Zhou
VCIP
2000
148views Communications» more  VCIP 2000»
13 years 9 months ago
Aircraft recognition and pose estimation
This work presents a geometry based vision system for aircraft recognition and pose estimation using single images. Pose estimation improves the tracking performance of guided wea...
Hatem Hmam, Jijoong Kim
CORR
2010
Springer
166views Education» more  CORR 2010»
13 years 8 months ago
Software Metrics Evaluation Based on Entropy
Abstract. Software engineering activities in the Industry has come a long way with various improvements brought in various stages of the software development life cycle. The comple...
R. Selvarani, T. R. Gopalakrishnan Nair, Muthu Ram...