949 search results - page 79 / 190 » Programmed Mutagenesis Is Universal |
155
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
123
click to vote
KDD
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we describe the JAM system, a distributed, scalable and portable agent-based data mining system that employs a general approach to scaling data mining applications ...
137
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
139
click to vote
CPHYSICS
2006
15 years 4 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 ...
132
click to vote
SIGCSE
2010
ACM
15 years 11 months ago
2010
ACM
This paper details the results of an investigation into the compatibility of partnered computer science students. The study involved approximately 290 students at the University o...