Sciweavers

592 search results - page 19 / 119
» Granularity in the design of interactive illustrations
Sort
View
LAWEB
2007
IEEE
14 years 1 months ago
Designing the Interface of Rich Internet Applications
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
Matias Urbieta, Gustavo Rossi, Jeronimo Ginzburg, ...
IWINAC
2007
Springer
14 years 1 months ago
Social Interaction in Robotic Agents Emulating the Mirror Neuron Function
Emergent interactions that are expressed by the movements of two agents are discussed in this paper. The common coding principle is used to show how the mirror neuron system may fa...
Emilia I. Barakova
BILDMED
2004
125views Algorithms» more  BILDMED 2004»
13 years 8 months ago
Fast and Accurate Interactive Image Segmentation in the GEOMAP Framework
Although many interactive segmentation methods exists, none can be considered a silver bullet for all clinical tasks. Moreover, incompatible data representations prevent multiple a...
Hans Meine, Ullrich Köthe, H. Siegfried Stieh...
CHI
2003
ACM
14 years 7 months ago
Ambiguity as a resource for design
Ambiguity is usually considered anathema in Human Computer Interaction. We argue, in contrast, that it is a resource for design that can be used to encourage close personal engage...
William W. Gaver, Jacob Beaver, Steve Benford
JANCL
2006
112views more  JANCL 2006»
13 years 7 months ago
KAT-ML: an interactive theorem prover for Kleene algebra with tests
We describe KAT-ML, an implementation of an interactive theorem prover for Kleene algebra with tests (KAT). The system is designed to reflect the natural style of reasoning with K...
Kamal Aboul-Hosn, Dexter Kozen