834 search results - page 155 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
137
click to vote
ICPP
2006
IEEE
15 years 10 months ago
2006
IEEE
These days an increasing number of applications, especially in science and engineering, are dealing with a massive amount of data; hence they are dataintensive. Bioinformatics, da...
125
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
— As the feature size of transistors gets smaller, fabricating them becomes challenging. Manufacturing process follows various corrective design-for-manufacturing (DFM) steps to ...
140
click to vote
COCO
2009
Springer
15 years 11 months ago
2009
Springer
—The Gap-Hamming-Distance problem arose in the context of proving space lower bounds for a number of key problems in the data stream model. In this problem, Alice and Bob have to...
158
click to vote
ESORICS
2004
Springer
15 years 10 months ago
2004
Springer
Database outsourcing is a popular industry trend which involves organizations delegating their data management needs to an external service provider. In this model, a service prov...
139
click to vote
PR
2006
15 years 4 months ago
2006
A cross-validation error estimator is obtained by repeatedly leaving out some data points, deriving classifiers on the remaining points, computing errors for these classifiers on ...