1011 search results - page 68 / 203 » The three dimensions of proofs |
155
click to vote
COMPGEOM
2003
ACM
15 years 11 months ago
2003
ACM
We introduce (1/r)-cuttings for collections of surfaces in 3-space that are sensitive to an additional collection of curves. Specifically, let S be a set of n surfaces in R3 of c...
153
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
We introduce an experimental setting to observe and measure the perception of facial expression performed by embodied conversational agents (ECAs). The experimental set-up enables...
182
click to vote
ISMB
1997
15 years 7 months ago
1997
ANOLEA (Atomic Non-Local Environment Assessment) is a www server that performs energy calculations at the atomic level in protein structures. The calculations involve the non-loca...
245
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper is devoted to the study of the performance of the linear minimum mean-square error (LMMSE) receiver for (receive) correlated multiple-input multiple-output (MIMO) system...
173
click to vote
COMGEO
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...