Sciweavers

8669 search results - page 1599 / 1734
» Computing matrix representations
Sort
View
ICDAR
2009
IEEE
15 years 28 days ago
Recurrent HMMs and Cursive Handwriting Recognition Graphs
Standard cursive handwriting recognition is based on a language model, mostly a lexicon of possible word hypotheses or character n-grams. The result is a list of word alternatives...
Marc-Peter Schambach
ICFEM
2009
Springer
15 years 28 days ago
Implementing a Direct Method for Certificate Translation
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
Gilles Barthe, Benjamin Grégoire, Sylvain H...
ICRA
2009
IEEE
126views Robotics» more  ICRA 2009»
15 years 28 days ago
Time-bounded lattice for efficient planning in dynamic environments
For vehicles navigating initially unknown cluttered environments, current state-of-the-art planning algorithms are able to plan and re-plan dynamically-feasible paths efficiently a...
Aleksandr Kushleyev, Maxim Likhachev
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
14 years 10 months ago
A methodology for optimal semi-active suspension systems performance evaluation
This paper concerns the study of the optimal performance computation of a semi-active suspension evaluated in terms of comfort and handling performances. To this aim the semi-activ...
Charles Poussot-Vassal, Sergio M. Savaresi, Cristi...
101
Voted
COGSR
2010
74views more  COGSR 2010»
14 years 10 months ago
Two qubits for C.G. Jung's theory of personality
We propose a formalization of C.G. Jung's theory of personality using a four-dimensional Hilbert-space for the representation of two qubits. The first qubit relates to Jung&#...
Reinhard Blutner, Elena Hochnadel
« Prev « First page 1599 / 1734 Last » Next »