5159 search results - page 664 / 1032 » Structural Testing of Executables |
182
Voted
COCO
2003
Springer
16 years 21 days ago
2003
Springer
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
196
click to vote
EUROGP
2003
Springer
16 years 20 days ago
2003
Springer
We introduce a new recombination operator, the Maximum Homologous Crossover for Linear Genetic Programming. In contrast to standard crossover, it attempts to preserve similar struc...
162
click to vote
HYBRID
2003
Springer
16 years 20 days ago
2003
Springer
We analyze the observability of the continuous and discrete states of continuous-time linear hybrid systems. For the class of jumplinear systems, we derive necessary and sufficient...
178
click to vote
IBPRIA
2003
Springer
16 years 20 days ago
2003
Springer
Many segmentation techniques are available in the literature and some of them have been widely used in different application problems. Most of these segmentation techniques were mo...
220
click to vote
IBPRIA
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. In a previous work, a new probabilistic context-free grammar (PCFG) model for natural language parsing derived from a tree bank corpus has been introduced. The model esti...