1465 search results - page 24 / 293 » Making the Correct Mistakes |
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—It is important to reduce the Optical Proximity Correction (OPC) runtime while maintaining a good result quality. In this paper, we obtain a better formula, which theore...
CSIE
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we describe a system for correcting English preposition errors automatically. Non-native English writers often make these errors. Our system uses rules extracted au...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
117
click to vote
ICCL
1992
IEEE
15 years 1 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
91
Voted
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...