2290 search results - page 87 / 458 » Extensible Protected Types |
MLQ
2002
15 years 2 months ago
2002
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
132
Voted
KDD
2002
ACM
16 years 2 months ago
2002
ACM
The goal of the knowledge discovery and data mining is to extract the useful knowledge from the given data. Visualization enables us to find structures, features, patterns, and re...
125
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
239
click to vote
ICDE
2004
IEEE
16 years 3 months ago
2004
IEEE
The effectiveness of many existing high-dimensional indexing structures is limited to specific types of queries and workloads. For example, while the Pyramid technique and the iMi...
148
click to vote
INFORMATICALT
2010
14 years 11 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...