4460 search results - page 489 / 892 » Formal methods for interactive systems |
150
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Lightweight photo sharing, particularly via mobile devices, is fast becoming a common communication medium used for maintaining a presence in the lives of friends and family. How ...
288
click to vote
CGF
2008
15 years 6 months ago
2008
Creating long motion sequences is a time-consuming task even when motion capture equipment or motion editing tools are used. In this paper, we propose a system for creating a long...
181
click to vote
ACMIDC
2008
15 years 8 months ago
2008
In this paper we present the results of a comparative study that explores the potential benefits of using embodied ion to help children, aged 7 to 10, learn abstract concepts rela...
141
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...
151
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
The paper deals with on-board planning for a satellite swarm via communication and negotiation. We aim at defining individual behaviours that result in a global behaviour that me...