260 search results - page 39 / 52 » Methods for exploring expressive stance |
ICML
2003
IEEE
14 years 8 months ago
2003
IEEE
The paper explores a very simple agent design method called Q-decomposition, wherein a complex agent is built from simpler subagents. Each subagent has its own reward function and...
ICFCA
2007
Springer
14 years 1 months ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
OZCHI
2006
ACM
14 years 1 months ago
2006
ACM
This paper presents thoughts to extend our understanding of bodily aspects of technology interactions. The aim of the paper is to offer a way of looking at the role our kinaesthet...
CAV
2001
Springer
14 years 9 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
ACMACE
2008
ACM
13 years 9 months ago
2008
ACM
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...