547 search results - page 1 / 110 » chi 2010 |
CHI
2010
ACM
13 years 8 months ago
2010
ACM
CHI
2010
ACM
13 years 11 months ago
2010
ACM
IPSN
2010
Springer
13 years 9 months ago
2010
Springer
ENTCS
2007
13 years 4 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
CHI
2010
ACM
13 years 6 months ago
2010
ACM
This paper illustrates our preliminary studies of new interactive tools that support the generation of sequential art for entertainment, learning and scientific discourse. In the ...