2 papers
cs.LG2005
On the Job Training
Jason E. Holt
We propose a new framework for building and evaluating machine learning algorithms. We argue that many real-world problems require an agent which must quickly learn to respond to d…
cs.LO2005
The One Page Model Checker
Jason E. Holt
We show how standard IPC mechanisms can be used with the fork() system call to perform explicit state model checking on all interleavings of a multithreaded application. We specifi…