4094 search results - page 819 / 819 » Acme: A User Interface for Programmers |
SIGIR
2012
ACM
11 years 8 months ago
2012
ACM
Exploratory search, in which a user investigates complex concepts, is cumbersome with today’s search engines. We present a new exploratory search approach that generates interac...
ICSE
2007
IEEE-ACM
14 years 12 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
ASSETS
2006
ACM
14 years 6 days ago
2006
ACM
The VoxBoox system makes digital books accessible to visually impaired individuals via audio and voice. It automatically translates a book published in HTML to VoiceXML, and then ...
CHI
2002
ACM
14 years 6 months ago
2002
ACM
The Special Interest Group on Computer Human Interaction (SIGCHI) has had a successful history of 20 years of growth in its numbers and influence. To help guide the continued evol...