154 search results - page 14 / 31 » Web Interfaces for Proof Assistants |
89
Voted
WWW
2007
ACM
16 years 2 months ago
2007
ACM
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...
154
Voted
HT
2005
ACM
15 years 7 months ago
2005
ACM
The dissemination of information available through the World Wide Web makes universal access more and more important and supports visually disabled people in their everyday life. ...
143
Voted
IUI
2010
ACM
15 years 8 months ago
2010
ACM
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
128
click to vote
ASSETS
2006
ACM
15 years 7 months ago
2006
ACM
To browse the Web, blind people have to use screen readers, which process pages sequentially, making browsing timeconsuming. We present a prototype system, CSurf, which provides a...
139
Voted
KSEM
2010
Springer
14 years 11 months ago
2010
Springer
Web 2.0 is much more than adding a nice facade to old web applications rather it is a new way of thinking about software architecture of Rich Internet Applications (RIA). In compar...