874 search results - page 97 / 175 » Computing Weighted Solutions in Answer Set Programming |
111
click to vote
ACSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these comp...
110
Voted
FOCS
2004
IEEE
15 years 6 months ago
2004
IEEE
The Metric Labeling problem is an elegant and powerful mathematical model capturing a wide range of classification problems. The input to the problem consists of a set of labels a...
137
Voted
ISBI
2011
IEEE
14 years 6 months ago
2011
IEEE
Graph-based image analysis methods are increasingly being applied to diffusion MRI (dMRI) analysis. Unfortunately, weighting the graph for these methods involves solving a complex...
113
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
As the speed gap between CPU and memory widens, memory hierarchy has become the primary factor limiting program performance. Until now, the principal focus of hardware and softwar...
111
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...