191 search results - page 7 / 39 » Generating Heap-Bounded Programs in a Functional Setting |
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
DAGM
2008
Springer
13 years 9 months ago
2008
Springer
This paper demonstrates how a simple, yet effective, set of features enables to integrate ensemble classifiers in optical flow based tracking. In particular, gray value differences...
AAAI
1993
13 years 9 months ago
1993
Understanding flow in the three-dimensional phase space is challenging both to human experts and to current computer science technology. To break through the barrier, we are build...
SPAA
1993
ACM
13 years 11 months ago
1993
ACM
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...
PRL
2002
13 years 7 months ago
2002
This paper presents a learning system that uses genetic programming as a tool for automatically inferring the set of classification rules to be used during a preclassification sta...