2585 search results - page 293 / 517 » Automating Coherent Logic |
172
click to vote
ICLP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
179
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
165
click to vote
INAP
2001
Springer
15 years 11 months ago
2001
Springer
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
184
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a flexible and effective examplebased approach for labeling title pages which can be used for automated extraction of bibliographic data. The labels of intere...
133
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
In many designs, the worst-case-delay path may never be exercised or may be exercised infrequently. For those designs, a strategy of optimizing a circuit for the worst-case condit...