2376 search results - page 63 / 476 » More Efficient Internal-Regret-Minimizing Algorithms |
125
Voted
ICCD
2002
IEEE
16 years 12 days ago
2002
IEEE
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...
120
Voted
ICCAD
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
115
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
Today user-centered information acquisition over collections of complex XML documents is increasingly in demand. To this end, preferences have become an important paradigm enablin...
125
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
There has been much recent progress in the technical infrastructure necessary to continuously characterize and archive all sounds, or more precisely auditory streams, that occur w...
135
click to vote
CBMS
2006
IEEE
15 years 9 months ago
2006
IEEE
Recognition of shapes in images is an important problem in computer vision with application in various medical problems, including robotic surgery and cell analysis. The similarit...