732 search results - page 66 / 147 » What Is It Like to Be a Rat |
CHI
2007
ACM
14 years 8 months ago
2007
ACM
IBM Enhanced Audio Conferencing (IEAC) is a VoIPbased audio conferencing system that, like several other systems, provides a visualization showing who is present and their states ...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
STOC
2006
ACM
14 years 8 months ago
2006
ACM
Classes of graphs with bounded expansion have been introduced in [15], [12]. They generalize both proper minor closed classes and classes with bounded degree. For any class with b...
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact r...
ACHI
2010
IEEE
14 years 2 months ago
2010
IEEE
—In this paper, we summarize the initial results with regard to the question to what extent driving simulators can be used to serve as cheap and easy realizable environments for ...