1744 search results - page 47 / 349 » What's There to Talk About |
FORTE
2009
13 years 6 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
CORR
2011
Springer
13 years 25 days ago
2011
Springer
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
AGI
2011
13 years 21 days ago
2011
What set of concepts and formalizations might one use to make a practically useful, theoretically rigorous theory of generally intelligent systems? We present a novel perspective m...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
This paper describes what we call Transparent Hearing: the use of microphone equipped headphones for augmented audio. It provides a framework for experiments like realtime audio a...
ICECCS
2007
IEEE
14 years 28 days ago
2007
IEEE
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...