7167 search results - page 1115 / 1434 » A Technique for Invariant Generation |
194
click to vote
ICSM
1999
IEEE
15 years 12 months ago
1999
IEEE
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
210
click to vote
IEEEPACT
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
205
click to vote
CIKM
1999
Springer
15 years 12 months ago
1999
Springer
Statistical language modeling has been successfully used for speech recognition, part-of-speech tagging, and syntactic parsing. Recently, it has also been applied to information r...
181
click to vote
COLT
1999
Springer
15 years 12 months ago
1999
Springer
We study the problem of PAC-learning Boolean functions with random attribute noise under the uniform distribution. We define a noisy distance measure for function classes and sho...
213
click to vote
ECOOP
1999
Springer
15 years 12 months ago
1999
Springer
Program errors are hard to find because of the cause-effect gap between the time when an error occurs and the time when the error becomes apparent to the programmer. Although debu...