5128 search results - page 236 / 1026 » When Abstraction Fails |
196
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
We use History Dependent Automata (HD-automata) as a syntax-indepentend formalism to check compatibility of services at binding time in Service-Oriented Computing. Informally speak...
146
click to vote
ICAD
2004
15 years 8 months ago
2004
Comparing designs of sonifications is difficult enough but comparing a visual display with a sound display is much harder. Yet the designer of multi-sensory displays would like to...
313
click to vote
JUCS
2002
15 years 7 months ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
176
click to vote
ALT
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We consider the framework of stochastic multi-armed bandit problems and study the possibilities and limitations of strategies that explore sequentially the arms. The stra...
162
click to vote
IVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Recent research has established the potential for virtual characters to establish rapport with humans through simple contingent nonverbal behaviors. We hypothesized that ...