Sciweavers

981 search results - page 57 / 197
» Symbolic pointer analysis
Sort
View
ICDAR
2007
IEEE
14 years 3 months ago
Hybrid Mathematical Symbol Recognition Using Support Vector Machines
Recognition of mathematical symbols is a challenging task, with a large set with many similar symbols. We present a support vector machine based hybrid recognition system that use...
Birendra Keshari, Stephen M. Watt
CEC
2005
IEEE
14 years 2 months ago
On improving genetic programming for symbolic regression
This paper reports an improvement to genetic programming (GP) search for the symbolic regression domain, based on an analysis of dissimilarity and mating. GP search is generally di...
Steven Gustafson, Edmund K. Burke, Natalio Krasnog...
ICDAR
2005
IEEE
14 years 2 months ago
Recognition for Large Sets of Handwritten Mathematical Symbols
Natural and convenient mathematical handwriting recognition requires recognizers for large sets of handwritten symbols. This paper presents a recognition system for such handwritt...
Stephen M. Watt, Xiaofang Xie
ICDAR
2009
IEEE
13 years 6 months ago
A Symbol Spotting Approach Based on the Vector Model and a Visual Vocabulary
This paper addresses the difficult problem of symbol spotting for graphic documents. We propose an approach where each graphic document is indexed as a text document by using the ...
Thi-Oanh Nguyen, Salvatore Tabbone, Alain Boucher
IJCNN
2007
IEEE
14 years 3 months ago
Computational Templates, Neural Network Dynamics, and Symbolic Logic
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
Otto Lappi