120 search results - page 3 / 24 » New completeness results for lazy conditional narrowing |
MLDM
2007
Springer
14 years 11 days ago
2007
Springer
Abstract. The goal of predictive toxicology is the automatic construction of carcinogenecity models. Most common artificial intelligence techniques used to construct these models ...
SIGMOD
2005
ACM
14 years 6 months ago
2005
ACM
XML documents are normally stored as plain text files. Hence, the natural and most convenient way to update XML documents is to simply edit the text files. But efficient query eva...
FLOPS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Outermost-needed rewriting/narrowing is a sound and complete optimal demand-driven strategy for the class of inductively sequential constructor systems. Its parallel exte...
IJFCS
2006
13 years 6 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
CORR
2007
Springer
13 years 6 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...