1713 search results - page 231 / 343 » Analysis of Procedure Splitability |
IEEEICCI
2006
IEEE
14 years 4 months ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
ICDAR
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper, we propose a novel segmentation-free approach for keyword search in historical typewritten documents combining image preprocessing, synthetic data creation, word sp...
LOPSTR
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Termination of binary CLP programs has recently become an important question in the termination analysis community. The reason for this is due to that a number of approac...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
Authentication of individuals is rapidly becoming an important issue. On-line signature verification is one of the methods that use biometric features. This paper proposes a new H...
CC
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...