2162 search results - page 208 / 433 » Automated Reasoning on Feature Models |
152
click to vote
LPNMR
2009
Springer
15 years 9 months ago
2009
Springer
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
140
click to vote
CVPR
2000
IEEE
16 years 6 months ago
2000
IEEE
This paper deals with the automated creation of geometric and photometric correct 3-D models of the world. Those models can be used for virtual reality, tele? presence, digital ci...
134
click to vote
KBSE
2010
IEEE
15 years 3 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
131
Voted
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The predominant knowledge-based approach to automated model construction, compositional modelling, employs a set of models of particular functional components. Its inference mecha...
142
Voted
PRL
2007
15 years 4 months ago
2007
The bottleneck in interactive visual classification is the exchange of information between human and machine. We introduce the concept of the visible model, which is an ion of an ...