Sciweavers

3318 search results - page 313 / 664
» The Weak Instance Model
Sort
View
DEBU
2010
127views more  DEBU 2010»
15 years 2 months ago
Provenance in ORCHESTRA
Sharing structured data today requires agreeing on a standard schema, then mapping and cleaning all of the data to achieve a single queriable mediated instance. However, for setti...
Todd J. Green, Grigoris Karvounarakis, Zachary G. ...
CSFW
2011
IEEE
14 years 4 months ago
Formal Analysis of Protocols Based on TPM State Registers
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
PAMI
2012
13 years 7 months ago
Simultaneously Fitting and Segmenting Multiple-Structure Data with Outliers
Abstract—We propose a robust fitting framework, called Adaptive Kernel-Scale Weighted Hypotheses (AKSWH), to segment multiplestructure data even in the presence of a large number...
Hanzi Wang, Tat-Jun Chin, David Suter
3DPVT
2004
IEEE
153views Visualization» more  3DPVT 2004»
15 years 8 months ago
Surface Reconstruction from the Projection of Points, Curves and Contours
In this paper the problem of building and reconstructing geometrical surface models from multiple calibrated images is considered. We build an appropriate statistical 3D model fro...
Jan Erik Solem, Fredrik Kahl
DAGSTUHL
2004
15 years 6 months ago
Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon1
Abstract. Despite the recent interest for Model Driven Engineering approaches, the so-called four-layers metamodelling architecture is subject to a lot of debate. The relationship ...
Jean-Marie Favre