2162 search results - page 224 / 433 » Automated Reasoning on Feature Models |
202
Voted
KR
1994
Springer
15 years 9 months ago
1994
Springer
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
135
Voted
IFIP
1989
Springer
15 years 9 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
174
Voted
LICS
1998
IEEE
15 years 8 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
140
click to vote
ICTAI
1997
IEEE
15 years 8 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
145
click to vote
GIS
2008
ACM
15 years 6 months ago
2008
ACM
Bintrees based on longest edge bisection and hierarchies of diamonds are popular multiresolution techniques on regularly sampled terrain datasets. In this work, we consider sparse...