Sciweavers

373 search results - page 19 / 75
» Analysis of Recursive State Machines
Sort
View
FASE
2005
Springer
15 years 3 months ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
SIGCSE
2008
ACM
153views Education» more  SIGCSE 2008»
14 years 8 months ago
A cross-domain visual learning engine for interactive generation of instructional materials
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
K. R. Subramanian, T. Cassen
ICPR
2002
IEEE
15 years 11 months ago
Integrated Event Recognition from Multiple Sources
This paper proposes a system architecture for event recognition that integrates information from multiple sources (e.g., gesture and speech recognition from distributed sensors in...
Hiroaki Kawashima, Takashi Matsuyama
ICDAR
2007
IEEE
15 years 4 months ago
A Weighted Finite-State Framework for Correcting Errors in Natural Scene OCR
With the increasing market of cheap cameras, natural scene text has to be handled in an efficient way. Some works deal with text detection in the image while more recent ones poi...
R. Beaufort, Céline Mancas-Thillou
CORR
2010
Springer
102views Education» more  CORR 2010»
14 years 10 months ago
Error Analysis of Approximated PCRLBs for Nonlinear Dynamics
In practical nonlinear filtering, the assessment of achievable filtering performance is important. In this paper, we focus on the problem of how to efficiently approximate the post...
Ming Lei, Pierre Del Moral, Christophe Baehr