Sciweavers

981 search results - page 138 / 197
» Symbolic pointer analysis
Sort
View
ICDAR
2003
IEEE
14 years 2 months ago
Towards a Ptolemaic Model for OCR
In style-constrained classification often there are only a few samples of each style and class, and the correspondences between styles in the training set and the test set are un...
Sriharsha Veeramachaneni, George Nagy
COSPS
2001
Springer
14 years 1 months ago
Automatic Array Privatization
Abstract. Array privatization is one of the most e ective transformations for the exploitation of parallelism. In this paper, we present a technique for automatic array privatizati...
Peng Tu, David A. Padua
ICDAR
1999
IEEE
14 years 1 months ago
Telop and Flip Frame Detection and Character Extraction from TV News Articles
The purpose of this study is to automatically extract telop and flip characters. It starts from the extraction of stable frame sections including the telop and flip characters. Ne...
Yasuo Ariki, Katsumi Matsuura, Seiichi Takao
DATE
2004
IEEE
157views Hardware» more  DATE 2004»
14 years 20 days ago
Hierarchical Modeling and Simulation of Large Analog Circuits
This paper proposes a new hierarchical circuit modeling and simulation technique in s-domain for linear analog circuits. The new algorithm can perform circuit complexity reduction...
Sheldon X.-D. Tan, Zhenyu Qi, Hang Li
AIIA
1991
Springer
14 years 13 days ago
Approximate Entailment
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
Marco Cadoli, Marco Schaerf