4460 search results - page 221 / 892 » Formal methods for interactive systems |
152
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
A social network can become bases for information infrastructure in the future. It is important to extract social networks that are not biased. Providing a simple means for users ...
152
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...
138
click to vote
VISUALIZATION
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we propose a technique for visualizing steady flow. Using this technique, we first convert the vector field data into a scalar level-set representation. We then a...
133
Voted
ETRA
2000
ACM
15 years 9 months ago
2000
ACM
Text input with eye trackers can be implemented in many ways such as on-screen keyboards or context sensitive menu-selection techniques. We propose the use of off-screen targets a...
149
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Interest has been growing within HCI on the use of machine learning and reasoning in applications to classify such hidden states as user intentions, based on observations. HCI res...