2162 search results - page 343 / 433 » Automated Reasoning on Feature Models |
120
Voted
TIP
1998
15 years 3 months ago
1998
—We introduce a new approach to image estimation based on a flexible constraint framework that encapsulates meaningful structural image assumptions. Piecewise image models (PIM...
138
click to vote
SIGKDD
2010
14 years 11 months ago
2010
A number of times when using cross-validation (CV) while trying to do classification/probability estimation we have observed surprisingly low AUC's on real data with very few...
148
click to vote
PLDI
2004
ACM
15 years 9 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
155
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: While most multiple sequence alignment programs expect that all or most of their input is known to be homologous, and penalise insertions and deletions, this is not a ...
147
click to vote
IEEEPACT
2008
IEEE
15 years 10 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...