400 search results - page 39 / 80 » Moving Proofs-As-Programs into Practice |
AFRIGRAPH
2004
ACM
14 years 1 months ago
2004
ACM
The ancient Egyptian temple of Kalabsha dates back to 30 BC. In 1963 the temple was dismantled and moved to a new site in order to save it from the rising waters of the Lake Nasse...
CSCW
2004
ACM
14 years 1 months ago
2004
ACM
This paper explores the embodied interactional ways in which people naturally collaborate around and share collections of photographs. We employ ethnographic studies of paper-base...
ECLIPSE
2004
ACM
14 years 1 months ago
2004
ACM
Programming courses of all levels rely heavily on code examples. Often, to cover non-trivial subjects, it is convenient to present examples in the form of a tutorial. Such tutoria...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
ICMI
2004
Springer
14 years 29 days ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...