16518 search results - page 3157 / 3304 » A New Approach to Splitting-Off |
154
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
136
click to vote
PSIVT
2007
Springer
15 years 10 months ago
2007
Springer
It is often practical to measure how linear a certain ordered set of points is. We are interested in linearity measures which are invariant to rotation, scaling, and translation. T...
145
Voted
QOSA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In enterprise application development and other software construction projects, a critical success factor is to make sound architectural decisions. Text templates and too...
147
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Similarity has become a classical tool for ontology confrontation motivated by alignment, mapping or merging purposes. In the definition of an ontologybased measure one ...
131
Voted
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...