4678 search results - page 240 / 936 » Integrated University Information Systems |
150
click to vote
MKM
2004
Springer
15 years 11 months 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ļ...
153
click to vote
CIKM
2001
Springer
15 years 10 months ago
2001
Springer
Existing approaches for optimizing queries in data integration use decoupled strategiesāattempting to optimize coverage and cost in two separate phases. Since sources tend to ha...
180
click to vote
VLDB
1991
ACM
15 years 9 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...
162
click to vote
ENVSOFT
2007
15 years 5 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...
149
click to vote
COMCOM
2007
15 years 5 months ago
2007
The MELISA system is a distributed platform for multi-platform sports content broadcasting, providing end users with a wide range of real-time interactive services during the spor...