Sciweavers

4372 search results - page 409 / 875
» Objects for Lexical Analysis
Sort
View
CAV
2010
Springer
159views Hardware» more  CAV 2010»
15 years 9 months ago
Gist: A Solver for Probabilistic Games
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
Krishnendu Chatterjee, Thomas A. Henzinger, Barbar...
CIARP
2008
Springer
15 years 8 months ago
Structural Construction for On-Line Mathematical Formulae Recognition
We present a method for on-line mathematical formulae recognition based on the structural construction paradigm and twodimensional grammars. In general, this approach can be succes...
Daniel Prusa, Václav Hlavác
170
Voted
CIVR
2008
Springer
227views Image Analysis» more  CIVR 2008»
15 years 8 months ago
A comparison of color features for visual concept classification
Concept classification is important to access visual information on the level of objects and scene types. So far, intensity-based features have been widely used. To increase discr...
Koen E. A. van de Sande, Theo Gevers, Cees G. M. S...
ICIAR
2007
Springer
15 years 8 months ago
A Simple Oriented Mean-Shift Algorithm for Tracking
Mean-Shift tracking gained a lot of popularity in computer vision community. This is due to its simplicity and robustness. However, the original formulation does not estimate the o...
Jamil Draréni, Sébastien Roy
WSC
1996
15 years 8 months ago
Enterprise Modeling within an Enterprise Engineering Framework
of abstraction, or modeling, is a major element in Enterprise Engineering. Enterprise engineering deals with the analysis, design, implementation and operation of an enterprise. T...
Donald H. Liles, Adrien Presley