382 search results - page 14 / 77 » Logic Programs for Consistently Querying Data Integration Sy... |
APLAS
2000
ACM
14 years 6 days ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
ILP
2007
Springer
14 years 2 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
DASFAA
2007
IEEE
14 years 2 months ago
2007
IEEE
Similarity retrieval have been widely used in many practical search applications. A similarity query model can be viewed as a logical combination of a set of similarity predicates....
PLANX
2007
13 years 9 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
There has been an information explosion in fields of science such as high energy physics, astronomy, environmental sciences and biology. There is a critical need for automated sys...