260 search results - page 39 / 52 » Methods for exploring expressive stance |
125
click to vote
ICML
2003
IEEE
16 years 4 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...
113
click to vote
ICFCA
2007
Springer
15 years 10 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...
123
click to vote
OZCHI
2006
ACM
15 years 10 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...
137
click to vote
CAV
2001
Springer
15 years 8 months 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...
171
click to vote
ACMACE
2008
ACM
15 years 6 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 ...