Sciweavers

449 search results - page 43 / 90
» Meta Object Approach to Database Schema Integration
Sort
View
86
Voted
SIGIR
1996
ACM
15 years 1 months ago
Retrieval of Complex Objects Using a Four-Valued Logic
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
Thomas Rölleke, Norbert Fuhr
ER
1995
Springer
152views Database» more  ER 1995»
15 years 1 months ago
A Logic Framework for a Semantics of Object-Oriented Data Modeling
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
Olga De Troyer, Robert Meersman
TPHOL
1999
IEEE
15 years 1 months ago
Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
89
Voted
WEBDB
2009
Springer
131views Database» more  WEBDB 2009»
15 years 4 months ago
Functional Dependency Generation and Applications in Pay-As-You-Go Data Integration Systems
Recently, the opportunity of extracting structured data from the Web has been identified by a number of research projects. One such example is that millions of relational-style H...
Daisy Zhe Wang, Xin Luna Dong, Anish Das Sarma, Mi...
DASFAA
2011
IEEE
231views Database» more  DASFAA 2011»
14 years 1 months ago
Querying Moving Objects with Uncertainty in Spatio-Temporal Databases
Spatio-temporal uncertainty is a special feature of moving objects due to the inability of precisely capturing or predicting their continuously changing locations. Indeterminate lo...
Hechen Liu, Markus Schneider