Sciweavers

14386 search results - page 400 / 2878
» Algorithms for user interfaces
Sort
View
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
CVPR
1999
IEEE
16 years 8 months ago
Vision-Based Speaker Detection Using Bayesian Networks
The development of user interfaces based on vision and speech requires the solution of a challenging statistical inference problem: The intentions and actions of multiple individu...
James M. Rehg, Kevin P. Murphy, Paul W. Fieguth
VIS
2009
IEEE
162views Visualization» more  VIS 2009»
16 years 8 months ago
Web-based Visualization and Analysis of Atmospheric Nucleation Processes
Nucleation phenomena play a pivotal role in many atmospheric and technological processes. However, understanding atmospheric nucleation processes has been difficult due to the lac...
Yi Liu, Rui Ding, Jinzhu Gao, Xiaohui Cui, Bin...
WWW
2008
ACM
16 years 7 months ago
Topigraphy: visualization for large-scale tag clouds
This paper proposes a new method for displaying large-scale tag clouds. We use a topographical image that helps users to grasp the relationship among tags intuitively as a backgro...
Ko Fujimura, Shigeru Fujimura, Tatsushi Matsubayas...
WWW
2005
ACM
16 years 7 months ago
Applying NavOptim to minimise navigational effort
A major factor in the effectiveness of the interaction which users have with Web applications is the ease with which they can locate information and functionality which they are s...
David Lowe, Xiaoying Kong