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...
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...
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...
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...
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...