921 search results - page 171 / 185 » Expressing Computational Complexity in Constructive Type The... |
CHI
2007
ACM
14 years 8 months ago
2007
ACM
We present an observational study that was conducted to guide the design and development of technologies to support information flow during nurses' shift change in a hospital...
CG
2007
Springer
13 years 8 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
ECCV
1998
Springer
14 years 10 months ago
1998
Springer
Diffuse interreflections mean that surface shading and shape are related in ways that are difficult to untangle; in particular, distant and invisible surfaces may affect the shadi...
SAGA
2005
Springer
14 years 1 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
FPCA
1995
13 years 11 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...