2162 search results - page 297 / 433 » Automated Reasoning on Feature Models |
148
click to vote
ICCBR
2007
Springer
15 years 10 months ago
2007
Springer
We identify two fundamental points of utilizing CBR for an adaptive agent that tries to learn on the basis of trial and error without a model of its environment. The first link co...
133
Voted
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
160
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
140
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
150
click to vote
LICS
2006
IEEE
15 years 10 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...