2742 search results - page 436 / 549 » Deriving Category Theory from Type Theory |
ESEM
2008
ACM
13 years 10 months ago
2008
ACM
Systematic reviews are only as good as the evidence they are based on. It is important, therefore, that users of systematic reviews know how much confidence they can place in the ...
EUROSYS
2008
ACM
13 years 10 months ago
2008
ACM
Guaranteed I/O performance is needed for a variety of applications ranging from real-time data collection to desktop multimedia to large-scale scientific simulations. Reservations...
IE
2007
13 years 10 months ago
2007
This paper presents innovative research into the use of videogame environments within architectural design studios. In this context, 3D videogame environments encourage new unders...
IE
2007
13 years 10 months ago
2007
The concept of dramatic level is crucial for a model of dramatic flow. We present a framework to maintain optimal dramatic flow in an interactive 3D environment where both linea...
DGO
2007
13 years 10 months ago
2007
How do Members of Congress manage the opportunities that the Internet offers? Here we present the initial results from interviews with 100 Congressional offices about their decisi...