Sciweavers

3481 search results - page 442 / 697
» Exploration in Relational Worlds
Sort
View
AI
1999
Springer
15 years 5 months ago
Modal Logics, Description Logics and Arithmetic Reasoning
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
Hans Jürgen Ohlbach, Jana Koehler
JAIR
1998
163views more  JAIR 1998»
15 years 5 months ago
A Temporal Description Logic for Reasoning about Actions and Plans
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true whil...
Alessandro Artale, Enrico Franconi
VLDB
2002
ACM
95views Database» more  VLDB 2002»
15 years 5 months ago
Effective Change Detection Using Sampling
For a large-scale data-intensive environment, such as the World-Wide Web or data warehousing, we often make local copies of remote data sources. Due to limited network and computa...
Junghoo Cho, Alexandros Ntoulas
VLDB
2002
ACM
98views Database» more  VLDB 2002»
15 years 5 months ago
Processing Star Queries on Hierarchically-Clustered Fact Tables
Star queries are the most prevalent kind of queries in data warehousing, OLAP and business intelligence applications. Thus, there is an imperative need for efficiently processing ...
Nikos Karayannidis, Aris Tsois, Timos K. Sellis, R...
NAR
2007
136views more  NAR 2007»
15 years 5 months ago
DBAli tools: mining the protein structure space
The DBAli tools use a comprehensive set of structural alignments in the DBAli database to leverage the structural information deposited in the Protein Data Bank (PDB). These tools...
Marc A. Martí-Renom, Ursula Pieper, Mallur ...