8669 search results - page 1599 / 1734 » Computing matrix representations |
110
click to vote
ICDAR
2009
IEEE
14 years 11 months ago
2009
IEEE
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...
150
click to vote
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
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...
118
click to vote
ICRA
2009
IEEE
14 years 11 months ago
2009
IEEE
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...
111
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
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...
COGSR
2010
14 years 8 months ago
2010
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&#...