6020 search results - page 577 / 1204 » A New Approach to Model Counting |
161
click to vote
CVPR
2011
IEEE
15 years 4 months ago
2011
IEEE
We consider the problem of human parsing with partbased models. Most previous work in part-based models only considers rigid parts (e.g. torso, head, half limbs) guided by human a...
201
click to vote
ISCA
2007
IEEE
16 years 1 months ago
2007
IEEE
With increasing speed and power density, high-performance memories, including FB-DIMM (Fully Buffered DIMM) and DDR2 DRAM, now begin to require dynamic thermal management (DTM) a...
230
click to vote
ATAL
2005
Springer
16 years 19 days ago
2005
Springer
Though adjustable autonomy is hardly a new topic in agent systems, there has been a general lack of consensus on terminology and basic concepts. In this paper, we describe the mul...
173
click to vote
RECOMB
2010
Springer
15 years 9 months ago
2010
Springer
Immense amounts of raw instrument data (i.e., images of fluorescence) are currently being generated using ultra high-throughput sequencing platforms. An important computational cha...
204
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Microarray technology allows the simultaneous analysis of thousands of genes within a single experiment. Significance analyses of transcriptomic data ignore the gene d...