1722 search results - page 120 / 345 » Generating Tests from Counterexamples |
FPGA
2008
ACM
14 years 9 days ago
2008
ACM
This paper introduces a method of constructing random number generators from four of the basic primitives provided by FPGAs: Flip-Flips, Lookup-Tables, Shift Registers, and RAMs. ...
STOC
2005
ACM
14 years 11 months ago
2005
ACM
We investigate constructions of pseudorandom generators that fool polynomial tests of degree d in m variables over finite fields F. Our main construction gives a generator with se...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Personalized information agents can help overcome some of the limitations of communal Web information sources such as portals and search engines. Two important components of these...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
ct Computer generated academic papers have been used to expose a lack of thorough human review at several computer science conferences. We assess the problem of classifying such do...
IEAAIE
2010
Springer
13 years 8 months ago
2010
Springer
Behavior generation in humans and animals usually employs a combination of bottom-up and top-down patterns. Most available robotic architectures utilize either bottom-up or top-dow...