154 search results - page 3 / 31 » Web Interfaces for Proof Assistants |
ENTCS
2002
13 years 7 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
People often use computers other than their own to access web content, but blind users are restricted to using computers equipped with expensive, special-purpose screen reading pr...
JAR
2007
13 years 7 months ago
2007
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
COLING
2008
13 years 8 months ago
2008
This paper presents a real-world application for assisting medical diagnosis and drug prescription, which relies on the exclusive use of machine learning techniques. We have autom...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
Haptic technologies are thought to have the potential to help blind individuals overcome the challenges experienced when accessing the Web. This paper proposes a structured partic...