3758 search results - page 303 / 752 » A Complete Subsumption Algorithm |
161
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
207
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Here we present a new image registration algorithm for the alignment of histological sections that combines the ideas of B-spline based elastic registration and consistent image re...
144
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
191
click to vote
FUN
2010
Springer
15 years 10 months ago
2010
Springer
We introduce a new number system that supports increments with a constant number of digit changes. We also give a simple method that extends any number system supporting increments...
196
click to vote
DLOG
2008
15 years 9 months ago
2008
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...