6020 search results - page 133 / 1204 » A New Approach to Model Counting |
110
click to vote
CSDA
2007
15 years 4 months ago
2007
An important goal of microarray studies is the detection of genes that show significant changes in observed expressions when two or more classes of biological samples such as tre...
147
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
The Intelligence Analyst (IA) community will soon be the designated users of many new software tools. In the multitasking world of the IA, any one tool cannot be permitted to gree...
150
click to vote
WSC
2007
15 years 6 months ago
2007
Importance Sampling is a potentially powerful variance reduction technique to speed up simulations where the objective depends on the occurrence of rare events. However, it is cru...
133
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— In this paper, we introduce a novel substrate noise estimation technique during early floorplanning, based on the concept of Block Preference Directed Graph (BPDG) and the cla...
130
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Currently, the most adopted criterion to invoke garbage collection is heap space exhaustion. In other words, garbage collection is invoked when the heap space (either the entire s...