154 search results - page 5 / 31 » Web Interfaces for Proof Assistants |
MM
2004
ACM
14 years 24 days ago
2004
ACM
In this demonstration, we are going to illustrate how to give a presentation using multiple displays connected to the Internet. Categories and Subject Descriptors H.4.3 [Communica...
KI
2007
Springer
14 years 1 months ago
2007
Springer
Information visualisation benefits from the Semantic Web: multimodal mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. Natural l...
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...
MKM
2007
Springer
14 years 1 months ago
2007
Springer
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Recently, a new web development technique for creating interactive web applications, dubbed AJAX, has emerged in response to the limited degree of interactivity in large-grain sta...