Sciweavers

2624 search results - page 252 / 525
» The 2LIP model and its implementations
Sort
View
114
Voted
IEE
2010
136views more  IEE 2010»
14 years 11 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
14 years 11 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
109
Voted
ICRA
2010
IEEE
227views Robotics» more  ICRA 2010»
14 years 10 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
157
Voted
ICDAR
2009
IEEE
14 years 10 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...
113
Voted
ICIP
2009
IEEE
14 years 10 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