2162 search results - page 194 / 433 » Automated Reasoning on Feature Models |
118
click to vote
ECSQARU
2003
Springer
15 years 9 months ago
2003
Springer
New standards in document representation, like for example SGML, XML, and MPEG-7, compel Information Retrieval to design and implement models and tools to index, retrieve and prese...
122
click to vote
ICLP
2003
Springer
15 years 9 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
277
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents a fast algorithm for smooth digital elevation model interpolation and approximation from scattered elevation data. The global surface is reconstructed by subdi...
118
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
136
click to vote
TFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...