Sciweavers

413 search results - page 68 / 83
» Decidable Reasoning in Terminological Knowledge Representati...
Sort
View
DGO
2007
97views Education» more  DGO 2007»
14 years 11 months ago
Interactive exploration and discovery of e-government services
Government e-services available to citizens represent one of the most frequent and critical points of contact between public administrations and citizens. In addition to common se...
Giovanni Maria Sacco
SIGMETRICS
1992
ACM
145views Hardware» more  SIGMETRICS 1992»
15 years 1 months ago
Analysis of the Generalized Clock Buffer Replacement Scheme for Database Transaction Processing
The CLOCK algorithm is a popular buffer replacement algorithm becauseof its simplicity and its ability to approximate the performance of the Least Recently Used (LRU) replacement ...
Victor F. Nicola, Asit Dan, Daniel M. Dias
SEBD
2007
148views Database» more  SEBD 2007»
14 years 11 months ago
Containment of Conjunctive Object Meta-Queries
We consider the problem of query containment over an object data model derived from F-logic. F-logic has generated considerable interest commercially, in the academia, and within ...
Andrea Calì, Michael Kifer
EACL
1993
ACL Anthology
14 years 11 months ago
A Tradeoff between Compositionality and Complexity in the Semantics of Dimensional Adjectives
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
Geoffrey Simmons
98
Voted
AAAI
2000
14 years 11 months ago
DATALOG with Constraints - An Answer-Set Programming System
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
Deborah East, Miroslaw Truszczynski