2957 search results - page 350 / 592 » Code analysis and CS-XML |
123
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
124
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we propose a Bayesian network framework for explicitly modeling components and their relationships of Korean Hangul characters. A Hangul character is modeled with h...
146
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a compressed pattern matching method for searching user queried words in the CCITT Group 4 compressed document images, without decompressing. The feature...
138
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
A format-driven word recognition system is proposed for recognition of handwritten words. Unlike most traditional handwritten word recognizers being given a set of target words as...
141
click to vote
IWPC
2003
IEEE
15 years 9 months ago
2003
IEEE
A key desideratum for many software comprehension tools is to reduce the mental burdens of software engineers. That is, the tools should support cognition. This key benefit is di...