3040 search results - page 477 / 608 » A framework for user-interfaces to databases |
173
click to vote
EUROMICRO
1996
IEEE
15 years 10 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
170
click to vote
COSIT
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...
166
click to vote
KDD
1997
ACM
15 years 10 months ago
1997
ACM
KDD (Knowledge Discovery in Databases) processhas become a new and important research area. Within the framework of KDD process and the GLS (Global Learning Scheme) system recentl...
152
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
197
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
A key challenge in supporting data-driven scientific applications is the storage and management of input and output data in a distributed environment. In this paper, we describe a...