6020 search results - page 267 / 1204 » A New Approach to Model Counting |
140
click to vote
CGO
2007
IEEE
16 years 16 days ago
2007
IEEE
Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to atta...
195
click to vote
SDM
2012
SIAM
13 years 8 months ago
2012
SIAM
: Feature Selection “Tomography” - Illustrating that Optimal Feature Filtering is Hopelessly Ungeneralizable George Forman HP Laboratories HPL-2010-19R1 Feature selection; ...
160
click to vote
VISUAL
1999
Springer
15 years 10 months ago
1999
Springer
In this paper we propose a new General Image DataBase (GIDB) model. The model establishes taxonomy based on the systematisation of existing approaches. The GIDB model is based on t...
158
click to vote
SYNASC
2006
IEEE
16 years 6 days ago
2006
IEEE
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
178
Voted
CF
2007
ACM
15 years 10 months ago
2007
ACM
As we enter the era of petascale computing, system architects must plan for machines composed of tens or even hundreds of thousands of processors. Although fully connected network...