Sciweavers

1702 search results - page 71 / 341
» Doomed program points
Sort
View
EUROGP
2001
Springer
110views Optimization» more  EUROGP 2001»
15 years 9 months ago
General Schema Theory for Genetic Programming with Subtree-Swapping Crossover
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...
Riccardo Poli
SODA
1998
ACM
114views Algorithms» more  SODA 1998»
15 years 6 months ago
Exact Arithmetic at Low Cost - A Case Study in Linear Programming
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
Bernd Gärtner
123
Voted
COLING
1992
15 years 5 months ago
Dynamic Programming Method for Analyzing Conjunctive Structures in Japanese
Parsing a long sentence is very difficult, since long sentences often have conjunctions which result in ambiguities. If the conjunctive structures existing in a long sentence can ...
Sadao Kurohashi, Makoto Nagao
152
Voted
EOR
2010
160views more  EOR 2010»
15 years 4 months ago
A modified alternating direction method for convex quadratically constrained quadratic semidefinite programs
We propose a modified alternate direction method for solving convex quadratically constrained quadratic semidefinite optimization problems. The method is a first-order method, the...
Jie Sun, Su Zhang
147
Voted
AAIM
2009
Springer
101views Algorithms» more  AAIM 2009»
15 years 11 months ago
Integer Polyhedra for Program Analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
Philip J. Charles, Jacob M. Howe, Andy King