7504 search results - page 294 / 1501 » Computing with Action Potentials |
133
Voted
JSAC
2010
15 years 1 months ago
2010
Abstract—Monitoring human movements using wireless sensory devices promises to revolutionize the delivery of healthcare services. Such platforms use inertial information of their...
108
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of s...
108
click to vote
TIDSE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Virtual Storyteller is a multi-agent framework for automatic story generation. In this paper we describe how plots emerge from the actions of semi-autonomous characte...
123
click to vote
CHI
1993
ACM
15 years 6 months ago
1993
ACM
This paper describes some recent experiments that assess user behavior in a multi-modal environment in which actions can be performed with equivalent effect in speech, keyboard or...
148
Voted
PODC
1994
ACM
15 years 6 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...