424 search results - page 26 / 85 » types 1999 |
COSIT
1999
Springer
15 years 2 months ago
1999
Springer
Where some have attempted to apply cognitive methods to the study of geography, the present paper is designed to serve as a starting point for applying methods of geographic ontolo...
CSL
1999
Springer
15 years 2 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
103
click to vote
AIR
1999
14 years 9 months ago
1999
We discuss learning a profile of user interests for recommending information sources such as Web pages or news articles. We describe the types of information available to determin...
101
click to vote
DEXAW
1999
IEEE
15 years 2 months ago
1999
IEEE
The results of knowledge discovery in databases could vary depending on the data mining method. There are several ways to select the most appropriate data mining method dynamicall...
PADL
1999
Springer
15 years 2 months ago
1999
Springer
MCORBA is a binding to the CORBA distributed object framework for the purely declarative logic/functional language Mercury. The binding preserves the referential transparency of th...