Sciweavers

840 search results - page 73 / 168
» A low-complexity issue logic
Sort
View
RSCTC
1993
Springer
96views Fuzzy Logic» more  RSCTC 1993»
15 years 8 months ago
Trusting an Information Agent
: While the common kinds of uncertainties in databases (e.g., null values, disjunction, corrupt/missing data, domain mismatch, etc.) have been extensively studied, a relatively une...
Hasan M. Jamil, Fereidoon Sadri
INTENV
2010
14 years 11 months ago
Proactive Intention Recognition for Home Ambient Intelligence
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
Han The Anh, Luís Moniz Pereira
CADE
2003
Springer
16 years 4 months ago
Proof Search and Proof Check for Equational and Inductive Theorems
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
Eric Deplagne, Claude Kirchner, Hélè...
SIGMOD
2006
ACM
137views Database» more  SIGMOD 2006»
16 years 4 months ago
Extending object database interfaces with fuzziness through aspect-oriented design
Fuzzy logic has been used yet for extending database models to deal with vagueness in the definitions of linguistic concepts as "tall" or "long". However, the ...
Miguel-Ángel Sicilia, Elena García Barriocanal
TIME
2007
IEEE
15 years 10 months ago
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
David Toman