400 search results - page 33 / 80 » Moving Proofs-As-Programs into Practice |
ECCV
1998
Springer
14 years 9 months ago
1998
Springer
Abstract. In this paper we describe a method for estimating the internal parameters of the left and right cameras associated with a stereo image pair. The stereo pair has known epi...
DAC
2005
ACM
14 years 8 months ago
2005
ACM
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
A common practice in work groups is to share links to interesting web pages. Moreover, passages in these web pages are often cut-and-pasted, and used in various other contexts. In...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
This paper investigates emergent practices around `microblogging', changing and sharing status within a social group. We present results from a trial of `Connecto', a ph...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Although in-car GPS navigation technology is proliferating, it is not well understood how its use alters the ways people interpret their environment and navigate through it. We ar...