Sciweavers

3005 search results - page 71 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
VLDB
1990
ACM
116views Database» more  VLDB 1990»
15 years 3 months ago
A Probabilistic Framework for Vague Queries and Imprecise Information in Databases
A probabilistic learning model for vague queries and missing or imprecise information in databases is described. Instead of retrieving only a set of answers, our approach yields a...
Norbert Fuhr
SIGIR
1998
ACM
15 years 4 months ago
DOLORES: A System for Logic-Based Retrieval of Multimedia Objects
We describe the design and implementation of a system for logic-based multimedia retrieval. As highlevel logic for retrieval of hypermedia documents, we have developed a probabilis...
Norbert Fuhr, Norbert Gövert, Thomas Röl...
RV
2010
Springer
220views Hardware» more  RV 2010»
14 years 9 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
HIS
2004
15 years 1 months ago
Neural Networks and Belief Logic
Many researchers have observed that neurons process information in an imprecise manner - if a logical inference emerges from neural computation, it is inexact at best. Thus, there...
Yuan Yan Chen, Joseph J. Chen
DLOG
1998
15 years 1 months ago
Comparing Subsumption Optimizations
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
Ian Horrocks, Peter F. Patel-Schneider