156 search results - page 9 / 32 » Using Alternating Words to Describe Symbolic Pictures |
137
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
112
click to vote
CPM
2004
Springer
15 years 10 months ago
2004
Springer
We describe a new technique for reducing the number of nodes and symbols in automata based on tries. The technique stems from some results on anti-dictionaries for data compression...
140
click to vote
Publication
Most implementations of the language Refal represent ground expressions by doubly-linked lists, which results in low-cost concatenation. On the other hand, that representation nece...
138
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
The search for the optimal word sequence can be performed efficiently even in a speech recognizer with a very large vocabulary and complex models. This is achieved using pruning m...
148
click to vote
SIGGRAPH
1994
ACM
15 years 8 months ago
1994
ACM
This paper describes a methodology for using the matrix-vector multiply and scan conversion hardware present in many graphics workstations to rapidly approximate the optical flow ...