2703 search results - page 144 / 541 » Working Class Hero |
PLILP
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
ECAL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Artificial selection of microbial ecosystems for their collective function has been shown to be effective in laboratory experiments. In previous work, we used evolutionar...
ASAP
2006
IEEE
14 years 2 months ago
2006
IEEE
Early FPGA researchers understood that FPGAs made possible the creation of a new, flexible, and powerful class of machine -- the configurable computing machine (CCM). The earliest...
COLT
2008
Springer
14 years 1 days ago
2008
Springer
In recent work, Kalai, Klivans, Mansour, and Servedio [KKMS05] studied a variant of the "Low-Degree (Fourier) Algorithm" for learning under the uniform probability distr...
AIPS
2003
13 years 11 months ago
2003
Sketching provides a natural and compact means for a user to outline a plan for a high-level objective. Previous work on plan sketching required that sketches be valid, meaning th...