Sciweavers

2223 search results - page 138 / 445
» Ontological Framework for Approximation
Sort
View
CADE
2009
Springer
16 years 6 months ago
Beyond Dependency Graphs
The dependency pair framework is a powerful technique for proving termination of rewrite systems. One of the most frequently used methods within the dependency pair framework is t...
Martin Korp, Aart Middeldorp
RANDOM
2001
Springer
15 years 10 months ago
On the Equivalence between the Primal-Dual Schema and the Local-Ratio Technique
We discuss two approximation approaches, the primal-dual schema and the local-ratio technique. We present two relatively simple frameworks, one for each approach, which extend know...
Reuven Bar-Yehuda, Dror Rawitz
152
Voted
STEP
2003
IEEE
15 years 11 months ago
Semantic Web Data Description and Discovery
Currently we are experiencing the emergence of the fourth generation of the World Wide Web which is geared towards service and data provision using semantic and ontological inform...
Michael Ryan Bannon, Kostas Kontogiannis
ODR
2008
15 years 7 months ago
Towards Standardisation of Online Dispute Resolution Tools
This contribution summarizes the main goals, objectives, and tasks done so far in the framework of the the CEN/ISSS Workshop on Standardization of Online Dispute Resolution Tools (...
Arno R. Lodder, Andrea Borri, Jacques Gouimenou, B...
CORR
2010
Springer
56views Education» more  CORR 2010»
15 years 6 months ago
Grammar-Based Geodesics in Semantic Networks
efined abstract representation of a semantic path that respects the ontological classes of a particular semantic network. A discrete "walker" utilizes the grammar to dete...
Marko A. Rodriguez, Jennifer H. Watkins