Sciweavers

1792 search results - page 87 / 359
» What Are We Arguing About
Sort
View
CONTENT
2001
Springer
14 years 2 months ago
Screen Play: Film and the Future of Interactive Entertainment
This paper looks at existing computer games and virtual environments from the perspective of film theory and practice. From this, we will draw conclusions about the ways in which ...
Andy Clarke, Grethe Mitchell
ICCAD
2007
IEEE
107views Hardware» more  ICCAD 2007»
14 years 7 months ago
Computation of minimal counterexamples by using black box techniques and symbolic methods
— Computing counterexamples is a crucial task for error diagnosis and debugging of sequential systems. If an implementation does not fulfill its specification, counterexamples ...
Tobias Nopper, Christoph Scholl, Bernd Becker
AAMAS
2000
Springer
13 years 10 months ago
Rational Coordination in Multi-Agent Environments
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...
Piotr J. Gmytrasiewicz, Edmund H. Durfee
KR
2004
Springer
14 years 3 months ago
Partial Implication Semantics for Desirable Propositions
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
Yi Zhou, Xiaoping Chen
MM
2005
ACM
116views Multimedia» more  MM 2005»
14 years 3 months ago
Affective multimodal human-computer interaction
Social and emotional intelligence are aspects of human intelligence that have been argued to be better predictors than IQ for measuring aspects of success in life, especially in s...
Maja Pantic, Nicu Sebe, Jeffrey F. Cohn, Thomas S....