1567 search results - page 228 / 314 » A Mechanized Model of the Theory of Objects |
CHI
2005
ACM
16 years 2 months ago
2005
ACM
We explore the concept of social landmarks in complex, shared information and coordination environments. Previous research in navigation and shared spaces has tended to emphasize ...
110
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We present a practical approach for surface reconstruction of smooth mirror-like objects using sparse reflection correspondences (RCs). Assuming finite object motion with a fix...
COMPGEOM
2004
ACM
15 years 7 months ago
2004
ACM
Robustness problems due to the substitution of the exact computation on real numbers by the rounded floating point arithmetic are often an obstacle to obtain practical implementa...
123
click to vote
WDAG
2004
Springer
15 years 7 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...
130
Voted
COMPGEOM
2009
ACM
15 years 6 months ago
2009
ACM
We demonstrate how the scale axis transform can be used to compute a parameterized family of shape skeletons. The skeletons gradually represent only the most important features of...