6020 search results - page 1165 / 1204 » A New Approach to Model Counting |
143
click to vote
TCAD
2008
15 years 4 months ago
2008
Power consumption has emerged as the premier and most constraining aspect in modern microprocessor and application-specific designs. Gate sizing has been shown to be one of the mos...
157
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Multiple sequence alignment algorithms are very important tools in molecular biology today. Accurate alignment of proteins is central to several areas such as homology...
141
click to vote
COGSCI
2004
15 years 4 months ago
2004
Disfluencies include editing terms such as uh and um as well as repeats and revisions. Little is known about how disfluencies are processed, and there has been next to no research...
157
click to vote
PAMI
2007
15 years 3 months ago
2007
We present a new approach to camera calibration as a part of a complete and practical system to recover digital copies of sculpture from uncalibrated image sequences taken under t...
147
click to vote
SIGIR
2010
ACM
15 years 2 months ago
2010
ACM
After two successful years at SIGIR in 2007 and 2008, the third workshop on Searching Spontaneous Conversational Speech (SSCS 2009) was held conjunction with the ACM Multimedia 20...