4722 search results - page 173 / 945 » Representation-independent program analysis |
LOPSTR
2009
Springer
14 years 3 months ago
2009
Springer
We show how to combine the two most powerful approaches for automated termination analysis of logic programs (LPs): the direct approach which operates directly on LPs and the trans...
CEC
2005
IEEE
14 years 2 months ago
2005
IEEE
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...
ICDAR
2005
IEEE
2005
IEEE
A Two-stage Online Handwritten Chinese Character Segmentation Algorithm Based on Dynamic Programming
14 years 2 months ago
In this paper, an online handwritten Chinese character segmentation method is proposed. It is based on a dynamic programming algorithm, which uses geometrical features extracted f...
LREC
2010
13 years 10 months ago
2010
This paper presents and evaluates an original approach to automatically align bitexts at the word level. It relies on a syntactic dependency analysis of the source and target text...
MP
2008
13 years 9 months ago
2008
We analyze the rate of local convergence of the augmented Lagrangian method for nonlinear semidefinite optimization. The presence of the positive semidefinite cone constraint requ...