762 search results - page 67 / 153 » Conditionally correct superoptimization |
80
Voted
VTS
1997
IEEE
15 years 4 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
109
Voted
SIGCOMM
1997
ACM
15 years 4 months ago
1997
ACM
The floor acquisition multiple access (FAMA) discipline is analyzed in networks with hidden terminals. According to FAMA, control of the channel (the floor) is assigned to at mo...
94
Voted
CSB
2004
IEEE
15 years 4 months ago
2004
IEEE
Clustering is a common methodology for analyzing the gene expression data. In this paper, we present a new clustering algorithm from an information-theoretic point of view. First,...
79
Voted
LREC
2010
15 years 2 months ago
2010
Anaphora resolution is still a challenging research field in natural language processing, lacking an algorithm that correctly resolves anaphoric pronouns. Anaphoric zero pronouns ...
96
Voted
NIPS
2008
15 years 2 months ago
2008
In most cognitive and motor tasks, speed-accuracy tradeoffs are observed: Individuals can respond slowly and accurately, or quickly yet be prone to errors. Control mechanisms gove...