1477 search results - page 256 / 296 » What's the point of documentation |
SIGUCCS
2000
ACM
14 years 10 days ago
2000
ACM
This paper will provide a useful guide to those schools that have not yet implemented IMAP and are considering doing so. With both the systems and user services perspectives, any ...
CHI
1997
ACM
14 years 5 days ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
ELPUB
2007
ACM
13 years 12 months ago
2007
ACM
The following paper presents a case study of the way that the research done by the LAIRAH project may be applied in the case of a real digital resource for humanities scholarship....
ISMIR
2000
Springer
13 years 11 months ago
2000
Springer
Music librarians and cataloguers have traditionally created indexes that allow users to access musical works using standard reference information, such as the name of the composer...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...