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 4 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
102
Voted
INTENV
2010
14 years 7 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 27 days 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 22 days 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
123
Voted
TIME
2007
IEEE
15 years 6 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