Sciweavers

3575 search results - page 147 / 715
» Modeling Concurrency with Geometry
Sort
View
CACM
2010
179views more  CACM 2010»
15 years 4 months ago
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
Peter Sewell, Susmit Sarkar, Scott Owens, Francesc...
ICCV
1998
IEEE
16 years 6 months ago
Visual Homing: Surfing on the Epipoles
We antroduce a novel method for vasual homang. Usang thas method a robot can be sent to desared posataons and oraentataons an 3-0space specafied by sangle amages taken from these ...
Ronen Basri, Ehud Rivlin, Ilan Shimshoni
DSRT
1998
IEEE
15 years 8 months ago
A Network Architecture for Remote Rendering
Internet-based virtual environments (VEs) let users explore multiple virtual worlds with many different geometric models which are downloaded rather than predistributed. To avoid ...
Gerd Hesina, Dieter Schmalstieg
COMPGEOM
2007
ACM
15 years 8 months ago
Computing the exact arrangement of circles on a sphere, with applications in structural biology: video
The Bentley-Ottmann (BO) algorithm, initially designed to report the intersection points of line-segments in the plane, is the prototypical sweep-line algorithm. This video presen...
Frédéric Cazals, Sébastien Lo...
3DOR
2008
15 years 6 months ago
Characterizing Shape Using Conformal Factors
We present a new 3D shape descriptor based on conformal geometry. Our descriptor is invariant under non-rigid quasi-isometric transformations, such as pose changes of articulated ...
Mirela Ben-Chen, Craig Gotsman