8648 search results - page 1364 / 1730 » Designing for Human-Agent Interaction |
164
click to vote
CCR
2004
15 years 6 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
201
click to vote
CGF
2004
15 years 6 months ago
2004
This paper presents a hybrid method for creating three-dimensional shapes by sketching silhouette curves. Given a silhouette curve, we approximate its medial axis as a set of line...
155
click to vote
CANDC
2002
ACM
15 years 6 months ago
2002
ACM
To contribute to HCI investigation and interface design that develops interactive systems for creative solutions, I attempt to formulate a model of the human capability to combine...
181
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
Weather is one of the major causes of aviation accidents. General aviation (GA) flights account for 92% of all the aviation accidents. In spite of all the official and unofficial ...
189
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
The implementation of multiple Grid computing portals has led us to develop a methodology for Grid portal development that facilitates rapid prototyping and building of portals. B...