4460 search results - page 763 / 892 » Formal methods for interactive systems |
164
Voted
ISRR
2005
Springer
15 years 9 months ago
2005
Springer
A novel model for dynamic emergence and adaptation of embodied behavior is proposed. A musculo-skeletal system is controlled by a number of chaotic elements, each of which driving...
176
Voted
GD
1998
Springer
15 years 8 months ago
1998
Springer
We demonstrate the H3Viewer graph drawing library, which can be run from a standalone program or in conjunction with other programs such as SGI's Site Manager application. Our...
150
Voted
AUSDM
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a framework for indoor location prediction system using multiple wireless signals available freely in public or office spaces. We first proabstract architectur...
126
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Ninety million Americans have inadequate health literacy, resulting in a reduced ability to read and follow directions in the healthcare environment. We describe an animated, empa...
136
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
Although existing work has explored both information extraction and community content creation, most research has focused on them in isolation. In contrast, we see the greatest le...