Sciweavers

1095 search results - page 162 / 219
» Preprocessing of Intractable Problems
Sort
View
AMAI
2004
Springer
14 years 4 months ago
Improving Exact Algorithms for MAX-2-SAT
We study three new techniques which will speed up the branch-and-bound algorithm for the MAX-2-SAT problem: The first technique is a new lower bound function for the algorithm an...
Haiou Shen, Hantao Zhang
GG
2004
Springer
14 years 4 months ago
Model Checking Graph Transformations: A Comparison of Two Approaches
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
Arend Rensink, Ákos Schmidt, Dániel ...
DAWAK
2003
Springer
14 years 4 months ago
Using an Interest Ontology for Improved Support in Rule Mining
Abstract. This paper describes the use of a concept hierarchy for improving the results of association rule mining. Given a large set of tuples with demographic information and per...
Xiaoming Chen, Xuan Zhou, Richard B. Scherl, James...
ECAI
2000
Springer
14 years 3 months ago
Incorporation of Temporal Logic Control into Plan Operators
Domain-specific control information is often essential in solving difficult planning problems efficiently. Temporal logics are a declarative and expressive representation for su...
Jussi Rintanen
DBPL
1999
Springer
114views Database» more  DBPL 1999»
14 years 3 months ago
Structured Document Transformations Based on XSL
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
Sebastian Maneth, Frank Neven