410 search results - page 2 / 82 » Symbolic Representations and Analysis of Large Probabilistic... |
HYBRID
1998
Springer
13 years 11 months ago
1998
Springer
We look at distributed representation of structure with variable binding, that is natural for neural nets and allows traditional symbolic representation and processing. The repres...
LICS
1998
IEEE
13 years 10 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
ICDAR
2007
IEEE
14 years 1 months ago
2007
IEEE
Recognition of mathematical symbols is a challenging task, with a large set with many similar symbols. We present a support vector machine based hybrid recognition system that use...
ICDAR
2003
IEEE
14 years 7 days ago
2003
IEEE
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
CAV
2005
Springer
14 years 15 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...