Sciweavers

3274 search results - page 577 / 655
» Access Support in Object Bases
Sort
View
CADE
1998
Springer
15 years 8 months ago
Admissibility of Fixpoint Induction over Partial Types
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
Karl Crary
SIGMOD
1998
ACM
143views Database» more  SIGMOD 1998»
15 years 8 months ago
Optimal Multi-Step k-Nearest Neighbor Search
For an increasing number of modern database applications, efficient support of similarity search becomes an important task. Along with the complexity of the objects such as images...
Thomas Seidl, Hans-Peter Kriegel
IATA
1998
Springer
15 years 8 months ago
Development of a Multi-Agent System for Cooperative Work with Network Negotiation Capabilities
This paper describes the architecture and operation of a Multi Agent system for providing end users with an intelligent interface for video conference and cooperative work services...
Francisco J. Garijo, Juan Tous, José M. Mat...
ICNP
1997
IEEE
15 years 8 months ago
Optimal Feedback Control for ABR Service in ATM
The e cient support of data tra c over ATM networks requires congestion control, whose objectives include maximizing throughput, minimizing switch bu er requirement, and attaining...
Paolo Narváez, Kai-Yeung Siu
TIME
1997
IEEE
15 years 8 months ago
On Effective Data Clustering in Bitemporal Databases
Temporal databases provide built-in supports for efficient recording and querying of time-evolving data. In this paper, data clustering issues in temporal database environment are...
Jong Soo Kim, Myoung-Ho Kim