Sciweavers

313 search results - page 41 / 63
» Structuring user interfaces with a meta-model of mental mode...
Sort
View
COMPGEOM
2008
ACM
15 years 1 months ago
Visualizing and exploring planar algebraic arrangements: a web application
A web application is presented to compute, plot, and interactively explore planar arrangements induced by algebraic plane curves of arbitrary degree. It produces accurate curve pl...
Pavel Emeliyanenko, Michael Kerber
73
Voted
WWW
2007
ACM
16 years 13 days ago
Generating efficient labels to facilitate web accessibility
For many users with a disability it can be difficult or impossible to use a computer mouse to navigate the web. An alternative way to select elements on a web page is the label ty...
Leo Spalteholz, Kin Fun Li, Nigel Livingston
CATA
2006
15 years 1 months ago
vHand: A Human Hand Simulation System
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
Beifang Yi, Frederick C. Harris Jr., Sergiu M. Das...
UML
1999
Springer
15 years 4 months ago
Towards a UML Extension for Hypermedia Design
Abstract. The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for U...
Hubert Baumeister, Nora Koch, Luis Mandel
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 2 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...