When the transition probabilities and rewards of a Markov Decision Process are specified exactly, the problem can be solved without any interaction with the environment. When no s...
Functional image sequences obtained from image reconstruction techniques applied to Magneto and Electroencephalography (M/EEG) data convey a large amount of information in the spa...
This paper describes the design of a service that provides nutritional feedback to female college freshmen. A variety of background research methods-food journals, competitive pro...
We give derivations of two formal models of Gricean Quantity1 implicature and strong exhaustivity (Van Rooij and Schulz, 2004; Schulz and Van Rooij, 2006), in bidirectional optima...
An execution trace contains a description of everything that happened during an execution of a program. Execution traces are useful, because they can help software engineers under...