235 search results - page 16 / 47 » A Symbolic Symbolic State Space Representation |
129
click to vote
IJDAR
2010
14 years 9 months ago
2010
We study online classification of isolated handwritten symbols using distance measures on spaces of curves. We compare three distance-based measures on a vector space representatio...
105
click to vote
TFS
2008
14 years 11 months ago
2008
Abstract-- This paper proposes a novel framework for describing articulated robot kinematics motion with the goal of providing a unified representation by combining symbolic or qua...
107
click to vote
CAV
2000
Springer
15 years 3 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
114
click to vote
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
The work presented in this paper aims to combine Latent Semantic Analysis methodology, common sense and traditional knowledge representation in order to improve the dialogue capab...
ENTCS
2002
14 years 11 months ago
2002
Despite considerable effort, the state-space explosion problem remains an issue in the analysis of Markov models. Given structure, symbolic representations can result in very comp...