Sciweavers

3575 search results - page 175 / 715
» Modeling Concurrency with Geometry
Sort
View
ENTCS
2008
102views more  ENTCS 2008»
15 years 4 months ago
Encoding Distributed Process Calculi into LMNtal
Towards a unifying model of concurrency, we have designed and implemented LMNtal (pronounced "elemental"), a model and language based on hierarchical graph rewriting tha...
Kazunori Ueda
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
15 years 10 months ago
galsC: A Language for Event-Driven Embedded Systems
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
Elaine Cheong, Jie Liu
127
Voted
COMPGEOM
1994
ACM
15 years 8 months ago
Spheres, Molecules, and Hidden Surface Removal
We devise techniques to manipulate a collection of loosely interpenetrating spheres in threedimensional space. Our study is motivated by the representation and manipulation of mol...
Dan Halperin, Mark H. Overmars
126
Voted
ICPR
2000
IEEE
16 years 5 months ago
Multiple View Vision
The goal of this paper is to give a short historical overview of multiple view vision and in particular the estimation of both camera geometry and scene models using only images a...
Kalle Åström
148
Voted
SI3D
2009
ACM
15 years 11 months ago
Real-time creased approximate subdivision surfaces
We present an extension of recently developed Loop and Schaefer’s approximation of Catmull-Clark surfaces (ACC) for surfaces with creases and corners which are essential for mos...
Denis Kovacs, Jason Mitchell, Shanon Drone, Denis ...