1011 search results - page 107 / 203 » The three dimensions of proofs |
168
click to vote
BCSHCI
2009
15 years 7 months ago
2009
This paper charts the design and build of two interactive tabletops that use infrared (IR) illumination techniques. One table implements fiducial tracking, whilst the other implem...
163
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
We build a comprehensive macro-learning system and contribute in three different dimensions that have previously not been addressed adequately. Firstly, we learn macro-sets conside...
154
click to vote
JSS
2006
15 years 6 months ago
2006
Peer-to-peer Web caching has attracted a great attention from the research community recently, and is one of the potential peer-topeer applications. In this paper, we systematical...
191
click to vote
SIAMAM
2008
15 years 6 months ago
2008
We variationally derive a thermodynamically consistent model for surface evolution under the influence of free adatoms. The resulting system of nonlinear partial differential equat...
159
click to vote
COMGEO
2004
ACM
15 years 6 months ago
2004
ACM
We present a new incremental algorithm for constructing the union of n triangles in the plane. In our experiments, the new algorithm, which we call the Disjoint-Cover (DC) algorit...