12272 search results - page 137 / 2455 » Experimental program analysis |
143
click to vote
ESOP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delays can be executed without suspension. The crucial poi...
153
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this short note we demonstrate the applicability of hyperlink downweighting by means of language model disagreement. The method filters out hyperlinks with no relevance to the ...
163
Voted
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segme...
136
Voted
ACG
2006
Springer
16 years 12 days ago
2006
Springer
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...
173
click to vote
ICDAR
2003
IEEE
15 years 11 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...