3457 search results - page 405 / 692 » A Symbol Is Not a Symbol |
193
click to vote
PREMI
2005
Springer
16 years 9 days ago
2005
Springer
The work proposes a hierarchical architecture for learning amic scenes at various levels of knowledge abstraction. The raw visual information is processed at different stages to g...
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...
201
click to vote
SAS
2005
Springer
16 years 9 days ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
166
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...
190
click to vote
TACAS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...