LACL
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. We investigate natural deduction proofs of the Lambek calculus from the point of view of tree automata. The main result is that the set of proofs of the Lambek calculus c...
GIS
2000
ACM
14 years 3 months ago
2000
ACM
GIS
2000
ACM
14 years 3 months ago
2000
ACM
GIS
2000
ACM
14 years 3 months ago
2000
ACM
Uncertainty management for geometric data is currently an important problem for (extensible) databases in general and for spatial databases, image databases, and GIS in particular...
GIS
2000
ACM
14 years 3 months ago
2000
ACM
GIS
2000
ACM
14 years 3 months ago
2000
ACM
With the increasing use of geographical data in real-world applications, Geographic Information Systems (GISs) have recently emerged as a fruitful area for research. Nowadays, a G...
GIS
2000
ACM
14 years 3 months ago
2000
ACM
GIS
2000
ACM
14 years 3 months ago
2000
ACM
The goal of Digital Earth (www.digitalearth.gov) is to create a virtual representation of our planet that enables a person to explore and interact with the vast amounts of natural...
EWCBR
2000
Springer
14 years 3 months ago
2000
Springer
Lessons learned processes, and software systems that support them, have been developed by many organizations (e.g., all USA military branches, NASA, several Department of Energy or...
EWCBR
2000
Springer
14 years 3 months ago
2000
Springer
This paper proposes a methodology of maintaining Case Based Reasoning (CBR) systems by using fuzzy decision tree induction - a machine learning technique. The methodology is mainly...