1913 search results - page 93 / 383 » Group Input Machine |
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
106
Voted
INTENV
2010
14 years 7 months ago
2010
The story describes a world of the future in which there are two entirely different groups of people, one involved in the development and reproduction of the industrial base of the...
92
Voted
ECAL
2003
Springer
15 years 5 months ago
2003
Springer
This paper demonstrates that the waves produced on the surface of water can be used as the medium for a “Liquid State Machine” that pre-processes inputs so allowing a simple pe...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
A suffix tree is a fundamental data structure for string searching algorithms. Unfortunately, when it comes to the use of suffix trees in real-life applications, the current metho...
111
Voted
CLEF
2008
Springer
15 years 2 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...