129 search results - page 16 / 26 » Towards Discontinuous Grammar |
SCVMA
2004
Springer
14 years 26 days ago
2004
Springer
3D-model-based tracking offers one possibility to explicate the manner in which spatial coherence can be exploited for the analysis of image sequences. Two seemingly different ap...
ENTCS
2010
13 years 7 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we propose a new framework for online handwritten mathematical expression recognition. The proposed architecture aims at handling mathematical expression recognitio...
PADL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
ICRA
2003
IEEE
14 years 24 days ago
2003
IEEE
— This paper presents a self-positioning system for the mobile robot. The proposed positioning system consists of a stereo setup of two ODVs (Omni-Directional Vision) for obtaini...