Sciweavers

119 search results - page 18 / 24
» Invariants for Non-Hierarchical Object Structures
Sort
View
ICPR
2002
IEEE
14 years 8 months ago
Curvature Estimation of Surfaces in 3D Grey-Value Images
In this paper we present a novel method to estimate curvature of iso grey-level surfaces in grey-value images. Our method succeeds where isophote curvature fails. There is neither...
Bernd Rieger, Frederik J. Timmermans, Lucas J. van...
CGF
2008
122views more  CGF 2008»
13 years 7 months ago
A Hierarchical Segmentation of Articulated Bodies
This paper presents a novel segmentation method to assist the rigging of articulated bodies. The method computes a coarse-to-fine hierarchy of segments ordered by the level of det...
Fernando de Goes, Siome Goldenstein, Luiz Velho
WWW
2010
ACM
14 years 2 months ago
Object views: fine-grained sharing in browsers
Browsers do not currently support the secure sharing of JavaScript objects between principals. We present this problem as the need for object views, which are consistent and contr...
Leo A. Meyerovich, Adrienne Porter Felt, Mark S. M...
VMCAI
2010
Springer
14 years 4 months ago
Building a Calculus of Data Structures
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thom...
ENTCS
2008
142views more  ENTCS 2008»
13 years 7 months ago
An Open System Operational Semantics for an Object-Oriented and Component-Based Language
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
Jasmin Christian Blanchette, Olaf Owe