15485 search results - page 172 / 3097 » Computing Optimal Subsets |
214
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
174
click to vote
WDAG
2004
Springer
15 years 11 months ago
2004
Springer
An important problem in distributed systems is to detect termination of a distributed computation. A computation is said to have terminated when all processes have become passive ...
190
click to vote
EUROGP
2009
Springer
16 years 25 days ago
2009
Springer
One-class classification naturally only provides one-class of exemplars, the target class, from which to construct the classification model. The one-class approach is constructed...
142
click to vote
DATE
2007
IEEE
16 years 18 days ago
2007
IEEE
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
163
click to vote
IDEAL
2005
Springer
15 years 11 months ago
2005
Springer
Malignancy Associated Changes are subtle changes to the nuclear texture of visually normal cells in the vicinity of a cancerous or precancerous lesion. We describe a classifier for...