7167 search results - page 1137 / 1434 » A Technique for Invariant Generation |
245
click to vote
ICDAR
1995
IEEE
15 years 11 months ago
1995
IEEE
We describe a new approach for evaluating page segmentation algorithms. Unlike techniques that rely on OCR output, our method is region-based: the segmentation output, described a...
190
Voted
ICSE
1995
IEEE-ACM
15 years 11 months ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
174
click to vote
KBSE
1995
IEEE
15 years 11 months ago
1995
IEEE
This paper describes an effort to provide automated support for the interactive inquiry and explanation process that is at the heart of software understanding. A hypermedia tool c...
196
click to vote
PEPM
1995
ACM
15 years 11 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
173
click to vote
RE
1995
Springer
15 years 11 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...