Sciweavers

3387 search results - page 510 / 678
» Parallel graphics and visualization
Sort
View
ICSE
2001
IEEE-ACM
15 years 8 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
SIGIR
2000
ACM
15 years 8 months ago
SWAMI: a framework for collaborative filtering algorithm development and evaluation
We present a Java-based framework, SWAMI (Shared Wisdom through the Amalgamation of Many Interpretations) for building and studying collaborative filtering systems. SWAMI consist...
Danyel Fisher, Kris Hildrum, Jason I. Hong, Mark W...
3DPVT
2004
IEEE
101views Visualization» more  3DPVT 2004»
15 years 8 months ago
Pyramid Coordinates for Morphing and Deformation
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...
Alla Sheffer, Vladislav Kraevoy
APGV
2006
ACM
111views Visualization» more  APGV 2006»
15 years 8 months ago
Discrimination and estimation of time-to-contact for approaching traffic using a desktop environment
Each year, thousands of pedestrians are injured or killed in traffic accidents. Identifying pedestrians' perceptual capabilities for street crossing decisions is an important...
A. Elizabeth Seward, Daniel H. Ashmead, Bobby Bode...
APN
2006
Springer
15 years 8 months ago
Can I Execute My Scenario in Your Net? VipTool Tells You!
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
Robin Bergenthum, Jörg Desel, Gabriel Juh&aac...