Sciweavers

4099 search results - page 246 / 820
» A Framework for Interactive Proof
Sort
View
DSVIS
2000
Springer
15 years 11 months ago
SUIT - Context Sensitive Evaluation of User Interface Development Tools
Developers of interactive software are confronted by a variety of software tools to help them design and implement user interfaces. They often resort to ad hoc means of tool select...
Joanna Lumsden, Philip D. Gray
CHI
1997
ACM
15 years 10 months ago
Computational Models of Information Scent-Following in a Very Large Browsable Text Collection
An ecological-cognitive framework of analysis and a model-tracing architecture are presented and used in the analysis of data recorded from users browsing a large document collect...
Peter Pirolli
GC
2004
Springer
15 years 10 months ago
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
VIS
2009
IEEE
158views Visualization» more  VIS 2009»
16 years 7 months ago
A Novel Interface for Interactive Exploration of DTI Fibers
Visual exploration is essential to the visualization and analysis of densely sampled 3D DTI fibers in biological speciments, due to the high geometric, spatial, and anatomical comp...
Wei Chen, Zi’ang Ding, Song Zhang, Anna MacKay...
ICIA
2007
15 years 9 months ago
Learning Interaction between Conflicting Human Agents and Their Assistants
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
Boris Galitsky, Boris Kovalerchuk