4099 search results - page 384 / 820 » A Framework for Interactive Proof |
163
click to vote
TVCG
2010
15 years 1 months ago
2010
Focus+context interaction techniques based on the metaphor of lenses are used to navigate and interact with objects in large information spaces. They provide in-place magnification...
174
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
In this paper, we present an incremental transformation framework called incXSLT. This framework has been experimented for the XSLT language defined at the World Wide Web Consorti...
185
click to vote
MM
2006
ACM
16 years 22 days ago
2006
ACM
Recently, interactive image cutout technique becomes prevalent for image segmentation problem due to its easy-to-use nature. However, most existing stroke-based interactive object...
187
click to vote
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...
187
click to vote
HRI
2010
ACM
15 years 11 months ago
2010
ACM
— Assisting humans in their daily lives requires robots to be proficient in manual tasks and effective in communicating states/intentions with human users. This paper advocates ...