3317 search results - page 64 / 664 » Strategies in Rigid-Variable Methods |
130
Voted
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
155
click to vote
ICIAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We describe the implementation of a 2D optical flow algorithm published in the European Conference on Computer Vision (ECCV 2004) by Brox et al. [1] (best paper award) a...
122
click to vote
ATS
2003
IEEE
15 years 9 months ago
2003
IEEE
Recent probabilistic test generation approaches have proven that detecting single stuck-at faults multiple times is effective at reducing the defective part level (DPL). Unfortuna...
141
Voted
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper proposes a new method for document transformation using OCR to generate various XML documents from printed documents. The proposed method adopts a hierarchical transfor...
130
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Legacy systems are often business critical and are associated with high maintenance costs. In this paper, we present an overview of a method, Renaissance, which aims to manage the...