Sciweavers

280 search results - page 41 / 56
» Constraint Systems for Pattern Analysis of Constraint Logic-...
Sort
View
CAIP
2009
Springer
249views Image Analysis» more  CAIP 2009»
15 years 6 months ago
Real-Time Volumetric Reconstruction and Tracking of Hands in a Desktop Environment
A probabilistic framework for vision based volumetric reconstruction and marker free tracking of hand and face volumes is presented, which exclusively relies on off-the-shelf hardw...
Christoph John, Ulrich Schwanecke, Holger Regenbre...
ICAPR
2005
Springer
15 years 5 months ago
A Novel Approach for Text Detection in Images Using Structural Features
We propose a novel approach for finding text in images by using ridges at several scales. A text string is modelled by a ridge at a coarse scale representing its center line and n...
H. Tran, Augustin Lux, H. L. Nguyen T, A. Boucher
BIRTHDAY
2007
Springer
15 years 3 months ago
Automating Verification of Cooperation, Control, and Design in Traffic Applications
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
Werner Damm, Alfred Mikschl, Jens Oehlerking, Erns...
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
14 years 9 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...
ANLP
1997
106views more  ANLP 1997»
15 years 1 months ago
Incremental Finite-State Parsing
This paper describes a new finite-state shallow parser. It merges constructive and reductionist approaches within a highly modular architecture. Syntactic information is added at ...
Salah Ait-Mokhtar, Jean-Pierre Chanod