4460 search results - page 466 / 892 » Formal methods for interactive systems |
140
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Guanxi is a type of dyadic social interaction based on feelings ("qing") and trust ("xin"). Long studied by scholars of Chinese origin, it has recently drawn t...
158
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The Graspables project is an exploration of how measuring the way people hold and manipulate objects can be used as a user interface. As computational ability continues to be impl...
161
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
In this Special Interest Group (SIG) we plan to focus on discussions and activities surrounding the design of technologies to support families. Many researchers and designers stud...
161
click to vote
RAS
2010
15 years 5 months ago
2010
Much of the literature shows that Central Pattern Generators (CPGs) are a good approach for generating periodic motions for legged robots. In most of the presented works the numer...
170
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In complex hard real-time systems with tight constraints on system resources, small changes in one component of a system can cause a cascade of adverse effects on other parts of t...