1901 search results - page 168 / 381 » Predicting Program Properties from |
156
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
176
click to vote
RSEISP
2007
Springer
16 years 16 days ago
2007
Springer
This paper concerns the development of a new direction in machine learning, called natural induction, which requires from computergenerated knowledge not only to have high predicti...
173
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Abstract We demonstrate a SIMD C++ genetic programming system on a single 128 node parallel nVidia GeForce 8800 GTX GPU under RapidMind's GPGPU Linux software by predicting te...
145
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
163
click to vote
CPHYSICS
2006
15 years 6 months ago
2006
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...