3557 search results - page 644 / 712 » Authoring Presentation for OpenMath |
100
Voted
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
Antiquity is a wide-area distributed storage system designed to provide a simple storage service for applications like file systems and back-up. The design assumes that all serve...
98
Voted
ICCAD
2004
IEEE
15 years 9 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
108
Voted
IUI
2010
ACM
15 years 9 months ago
2010
ACM
People interact with interfaces to accomplish goals, and knowledge about human goals can be useful for building intelligent user interfaces. We suggest that modeling high, human-l...
96
Voted
IUI
2010
ACM
15 years 9 months ago
2010
ACM
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...
98
Voted
IUI
2010
ACM
15 years 9 months ago
2010
ACM
The Web makes it possible for news readers to learn more about virtually any story that interests them. Media outlets and search engines typically augment their information with l...