Sciweavers

4870 search results - page 615 / 974
» Construction of Wavelets and Applications
Sort
View
ENTCS
2007
137views more  ENTCS 2007»
15 years 6 months ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...
172
Voted
SCP
2008
144views more  SCP 2008»
15 years 6 months ago
Implicit ownership types for memory management
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
Tian Zhao, Jason Baker, James Hunt, James Noble, J...
IJCV
2007
157views more  IJCV 2007»
15 years 6 months ago
Recovering Surface Layout from an Image
Humans have an amazing ability to instantly grasp the overall 3D structure of a scene – ground orientation, relative positions of major landmarks, etc – even from a single ima...
Derek Hoiem, Alexei A. Efros, Martial Hebert
200
Voted
TIP
2008
168views more  TIP 2008»
15 years 6 months ago
A Real-Time Algorithm for the Approximation of Level-Set-Based Curve Evolution
Abstract--In this paper, we present a complete and practical algorithm for the approximation of level-set-based curve evolution suitable for real-time implementation. In particular...
Yonggang Shi, William Clement Karl
CAD
2005
Springer
15 years 6 months ago
Subdivision surfaces for CAD - an overview
Subdivision surfaces refer to a class of modelling schemes that define an object through recursive subdivision starting from an initial control mesh. Similar to B-splines, the fin...
Weiyin Ma