6568 search results - page 255 / 1314 » Reducing the Complexity of Reductions |
170
click to vote
FOCS
2006
IEEE
16 years 22 days ago
2006
IEEE
We address well-studied problems concerning the learnability of parities and halfspaces in the presence of classification noise. Learning of parities under the uniform distributi...
140
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
206
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
Memory system reliability is a serious and growing concern in modern servers. Existing chipkill-level memory protection mechanisms suffer from several drawbacks. They activate a l...
180
click to vote
SENSYS
2005
ACM
16 years 7 days ago
2005
ACM
Increasing user comfort and reducing operation costs have always been two primary objectives of building operations and control strategies. Current building control strategies are...
156
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
A method for reducing additive noise in images by explicit analysis of local image statistics is introduced and compared to other noise reduction methods. The proposed method, whi...