Sciweavers

1527 search results - page 110 / 306
» What About Wednesday
Sort
View
CAV
2010
Springer
153views Hardware» more  CAV 2010»
14 years 1 months ago
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gog...
LREC
2010
151views Education» more  LREC 2010»
13 years 10 months ago
Towards Investigating Effective Affective Dialogue Strategies
We describe an experimental Wizard-of-Oz-setup for the integration of emotional strategies into spoken dialogue management. With this setup we seek to evaluate different approache...
Gregor Bertrand, Florian Nothdurft, Steffen Walter...
NIPS
2008
13 years 10 months ago
A rational model of preference learning and choice prediction by children
Young children demonstrate the ability to make inferences about the preferences of other agents based on their choices. However, there exists no overarching account of what childr...
Christopher G. Lucas, Thomas L. Griffiths, Fei Xu,...
CLIMA
2006
13 years 10 months ago
Acts of Commanding and Changing Obligations
If we are to take the notion of speech act seriously, we must be able to treat speech acts as acts. In what follows, I will try to model changes brought about by various acts of co...
Tomoyuki Yamada
IQ
2003
13 years 10 months ago
Process Knowledge and Data Quality Outcomes
What modes and domains of knowledge about data production processes are most critical for producing high-quality data? This study provides an answer to this question. Data are coll...
Yang W. Lee, Diane M. Strong