2162 search results - page 411 / 433 » Automated Reasoning on Feature Models |
156
click to vote
MODELS
2009
Springer
16 years 13 days ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
299
click to vote
ICRA
2008
IEEE
16 years 10 days ago
2008
IEEE
— Image-based navigation paradigms have recently emerged as an interesting alternative to conventional modelbased methods in mobile robotics. In this paper, we augment the existi...
182
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Biochemical networks play an essential role in systems biology. Rapidly growing network data and e research activities call for convenient visualization tools to aid i...
156
click to vote
ENTCS
2002
15 years 5 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...
273
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Depth ordering is instrumental for understanding the 3D geometry of an image. We as humans are surprisingly good ordering even with abstract 2D line drawings. In this paper we pro...