6020 search results - page 1023 / 1204 » A New Approach to Model Counting |
149
click to vote
NAR
2000
15 years 6 months ago
2000
The Molecular Biology Database Collection represents an effort geared at making molecular biology database resources more accessible to biologists. This online resource, available...
176
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Decoupling capacitance (decap) is an efficient way to reduce transient noise in on-chip power supply networks. However, excessive decap may cause more leakage power, chip resource...
164
click to vote
MSOM
2010
15 years 1 months ago
2010
The Vaccine and Related Biologic Products Advisory Committee meets at least once a year to decide the composition of the influenza vaccine in the U.S. Past evidence suggests that ...
160
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
As VLSI technology scales toward 65nm and beyond, both timing and power performance of integrated circuits are increasingly affected by process variations. In practice, people oft...
147
click to vote
ATAL
2009
Springer
16 years 28 days ago
2009
Springer
As agents begin to perform complex tasks alongside humans as collaborative teammates, it becomes crucial that the resulting humanmultiagent teams adapt to time-critical domains. I...