1199 search results - page 92 / 240 » Automated Extraction of Problem Structure |
124
Voted
DLOG
2007
15 years 4 months ago
2007
Abstract. The Chemical Formulation Problem (Compounding Problem) consists in modifying the chemical formulation of a compound in order to obtain a new compound showing a set of des...
110
Voted
CIA
2007
Springer
15 years 8 months ago
2007
Springer
Past years have witnessed a growing interest in automated negotiation as a coordination mechanism for interacting agents. This paper presents a generic, problem- and domain-indepen...
150
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
123
Voted
FCT
2001
Springer
15 years 6 months ago
2001
Springer
Many documents such as Web documents or XML files have tree structures. A term tree is an unordered tree pattern consisting of internal variables and tree structures. In order to ...
128
Voted
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
Treewidth measures the ”tree-likeness” of structures. Many NP-complete problems, e.g., propositional satisfiability, are tractable on bounded-treewidth structures. In this wo...