2162 search results - page 394 / 433 » Automated Reasoning on Feature Models |
139
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
action from low level features to high level semantics. Owing to the proliferation of multimedia content in the internet, there is widespread interest in the semantic web community...
123
click to vote
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
We investigate the automated reconstruction of piecewise smooth 3D curves, using subdivision curves as a simple but flexible curve representation. This representation allows taggin...
143
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
146
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
107
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Automated localization of software bugs is one of the essential issues in debugging aids. Previous studies indicated that the evaluation history of program predicates may disclose...