10066 search results - page 377 / 2014 » A Technique for Information System Integration |
169
click to vote
MKM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
200
Voted
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
Queries in object-oriented datab;Lqcs are formulated against a class and retrieve instnnccls of the class sat,isfying a certain predicate on the att,riblltes of the class. The pre...
184
Voted
ENVSOFT
2007
15 years 6 months ago
2007
This paper presents a case study in assessment of erosion hotspots in an Andean watershed. To do this, we made use of an interface called Geospatial Modelling of Soil Erosion (GEM...
200
Voted
KES
2006
Springer
15 years 6 months ago
2006
Springer
Named entities (e.g., "Kofi Annan", "Coca-Cola", "Second World War") are ubiquitous in web pages and other types of document and often provide a simpl...
192
Voted
DATAMINE
2002
15 years 6 months ago
2002
We present an application of inductive concept learning and interactive visualization techniques to a large-scale commercial data mining project. This paper focuses on design and c...