3025 search results - page 179 / 605 » Automatic Programming of Robots Using Genetic Programming |
116
click to vote
WLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
121
Voted
FMCAD
2008
Springer
15 years 4 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
130
Voted
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
114
click to vote
ICALT
2003
IEEE
15 years 8 months ago
2003
IEEE
The knowledge society brings its own challenges and demands upon its citizens. Key amongst these is the need to empower people to become lifelong learners, to reflect upon their o...
117
click to vote
ENTCS
2010
15 years 20 days ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...