Sciweavers

933 search results - page 160 / 187
» Multi-paradigm Declarative Languages
Sort
View
136
Voted
ICLP
2009
Springer
15 years 8 months ago
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
Marco Gavanelli, Marco Alberti, Evelina Lamma
SSDBM
2000
IEEE
155views Database» more  SSDBM 2000»
15 years 8 months ago
Knowledge-Based Integration of Neuroscience Data Sources
The need for information integration is paramount in many biological disciplines, because of the large heterogeneity in both the types of data involved and in the diversity of app...
Amarnath Gupta, Bertram Ludäscher, Maryann E....
155
Voted
WIDM
1999
ACM
15 years 8 months ago
An Efficient Plan Execution System for Information Management Agents
Recent work on information integration has yielded novel and efficient solutions for gathering data from the World Wide Web. However, there has been little attention given to the ...
Greg Barish, Dan DiPasquo, Craig A. Knoblock, Stev...
131
Voted
CIKM
1999
Springer
15 years 8 months ago
Rule-Based Query Optimization, Revisited
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...
Lane Warshaw, Daniel P. Miranker
154
Voted
ER
1999
Springer
160views Database» more  ER 1999»
15 years 8 months ago
Developing an Object-Oriented Video Database System with Spatio-Temporal Reasoning Capabilities
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
Shermann S.-M. Chan, Qing Li