11716 search results - page 396 / 2344 » Computable symbolic dynamics |
174
click to vote
RTA
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
167
click to vote
SPIN
2005
Springer
16 years 9 days ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
156
click to vote
GPCE
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
151
click to vote
ICCHP
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we describe Bliss2003, an Information and Communication Technology (ICT) aid for verbal impaired people supporting the use of Augmentative and Alternative Communicati...
165
click to vote
SSPR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In the field of computer music, pattern recognition algorithms are very relevant for music information retrieval (MIR). One challenging task within this area is the auto...