4719 search results - page 224 / 944 » Newtonian program analysis |
156
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
This work presents a performance analysis of a Multi-Branches Genetic Programming (MBGP) approach applied in symbolic regression (e.g. function approximation) problems. Genetic Pro...
146
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
Telemedicine development in Taiwan has proliferated considerably since the 1990s, as manifested by its inclusion as a core application area in the National Infrastructure Initiati...
148
click to vote
VL
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...
132
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
176
click to vote
VL
1991
IEEE
15 years 9 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...