1444 search results - page 80 / 289 » Visualizing Common Ground |
139
click to vote
LREC
2010
15 years 6 months ago
2010
We describe our computer-supported framework to overcome the rule of metadata schism. It combines the use of controlled vocabularies, managed by a data category registry, with a c...
152
click to vote
FECS
2008
15 years 6 months ago
2008
- The choice of programming language, the approach by which students are taught and the software tools made available to students have been controversial issues in many ways. While...
144
click to vote
FOIS
2006
15 years 6 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
135
click to vote
DC
2001
15 years 6 months ago
2001
This paper describes the latest version of the ABC metadata model. This model has been developed within the Harmony international digital library project to provide a common conce...
134
click to vote
IJCAI
1997
15 years 6 months ago
1997
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...