MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Words on Trajectories." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

49 documents found, showing 1 through 10. Next 10 →

ATOM

Learning-based Cursive Handwriting Synthesis
by Jue Wang, Chenyu Wu, Ying-Qing Xu, Heung-yeung Shum, Liang Ji — 2002 — in: Proc. Eighth International Workshop on Frontiers of Handwriting Recognition
… to produce the whole word trajectory, with guidance from a deformable model. Experimental results show…
Cited by 7 (4 self) – Add To MetaCart

Learning-based Cursive Handwriting Synthesis
by Jue Wang Chenyu, Jue Wang, Chenyu Wu, Ying-qing Xu, Heung-yeung Shum, Liang Ji — 2002 — in: Proc. Eighth International Workshop on Frontiers of Handwriting Recognition
… to produce the whole word trajectory, with guidance from a deformable model. Experimental results show…
Add To MetaCart

On the Formal Verification of Conflict Detection Algorithms
by Esar Mu Noz, Ricky Butler, Gilles Dowek — 2001
… of conflict detection systems. Fundamental to our approach is the concept of trajectory, which is a continuous…
Add To MetaCart

Aircraft trajectory modeling and alerting algorithm verification
by César Muñoz, Victor Carreño, Cesar Mu, Noz, Victor Carre No — 2000 — Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000
… correctness. The formalization is conducted in the general veri cation system PVS. Key words. trajectory…
Cited by 5 (1 self) – Add To MetaCart

Words and bisimulation of dynamical systems
by Thomas Brihaye, Université De Mons-hainaut — Journal of Automata, Languages and Combinatorics
… words. To achieve this goal, we encode the trajectories of the transition system as words. This method…
Cited by 4 (4 self) – Add To MetaCart

Associative and Fair Shuffle of omega-Words
by Alexandru Mateescu, George Daniel Mateescu, Turku Centre, Computer Science — 1998
… of !-trajectories are studied as well as with other well-known classes of !-words, like infinite Sturmian words…
Add To MetaCart

LEITER TO THE EDITOR Numerical simulations of diffusion-limited aggregation on the torus
by M Wolf — 1987
…, the trajectory of each particle should reach the cluster. In other words, the trajectory should fill out…
Add To MetaCart

Metadata In A Statistical Distributed Database System
by Joanne Lamb Centre, Joanne Lamb
… because of the lack of common concepts and vocabulary. In particular the word ‘trajectory’ was found…
Add To MetaCart

On O-Minimal Hybrid Systems
by Thomas Brihaye, Thomas Brihaye, Cédric Rivière, Cédric Rivière, Université De Mons-hainaut, Christian Michaux, Christian Michaux, Christophe Troestler, Christophe Troestler — 2004 — Lecture Notes in Computer Science
… are represented by words (see Section 4). Under the extra assumption that there is a unique trajectory passing…
Cited by 20 (4 self) – Add To MetaCart

Control in o-minimal hybrid systems
by Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier — 2006 — LICS’06: LOGIC IN COMPUTER SCIENCE
…, and on bisimulation properties. Word encoding. In [10], an encoding of trajectories with words has been proposed…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB