Sciweavers

2624 search results - page 252 / 525
» The 2LIP model and its implementations
Sort
View
IEE
2010
136views more  IEE 2010»
15 years 4 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
MICAI
2010
Springer
15 years 4 months ago
Information Retrieval with a Simplified Conceptual Graph-Like Representation
We argue for that taking into account semantic relations between words in the text can improve information retrieval performance. We implemented the process of information retrieva...
Sonia Ordoñez-Salinas, Alexander F. Gelbukh
ICRA
2010
IEEE
227views Robotics» more  ICRA 2010»
15 years 3 months ago
Efficient multi-view object recognition and full pose estimation
We present an approach for efficiently recognizing all objects in a scene and estimating their full pose from multiple views. Our approach builds upon a state of the art single-vie...
Alvaro Collet, Siddhartha S. Srinivasa
ICDAR
2009
IEEE
15 years 3 months ago
Unconstrained Handwritten Document Layout Extraction Using 2D Conditional Random Fields
The paper describes a new approach using a Conditional Random Fields (CRFs) to extract physical and logical layouts in unconstrained handwritten letters such as those sent by indi...
Florent Montreuil, Emmanuele Grosicki, Laurent Heu...
ICIP
2009
IEEE
15 years 3 months ago
Robust object tracking using correspondence voting for smart surveillance visual sensing nodes
This paper presents a bottom-up tracking algorithm for surveillance applications where speed and reliability in the case of multiple matches and occlusions are major concerns. The...
Mayssaa Al Najjar, Soumik Ghosh, Magdy Bayoumi