10285 search results - page 2018 / 2057 » Composing Feature Models |
138
Voted
CP
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
134
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Detecting objects, estimating their pose and recovering 3D shape information is a critical problem in many vision and robotics applications. This paper addresses the above needs by...
164
click to vote
VISSYM
2007
15 years 4 months ago
2007
The dataset generated by a large-scale numerical simulation may include thousands of timesteps and hundreds of variables describing different aspects of the modeled physical pheno...
112
click to vote
AAAI
2007
15 years 4 months ago
2007
Often remote investigations use autonomous agents to observe an environment on behalf of absent scientists. Predictive exploration improves these systems’ efficiency with onboa...
119
click to vote
LISA
2007
15 years 4 months ago
2007
An operating system’s readahead and buffer-cache behaviors can significantly impact application performance; most often these better performance, but occasionally they worsen it...