Sciweavers

3885 search results - page 507 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
IBIS
2006
109views more  IBIS 2006»
15 years 6 months ago
Formulation Schema Matching Problem for Combinatorial Optimization Problem
: Schema matching is the task of finding semantic correspondences between elements of two schemas, which plays a key role in many database applications. In this paper, we cast the ...
Zhi Zhang, Pengfei Shi, Haoyang Che, Yong Sun, Jun...
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
PAMI
2008
231views more  PAMI 2008»
15 years 6 months ago
Nonrigid Structure-from-Motion: Estimating Shape and Motion with Hierarchical Priors
This paper describes methods for recovering time-varying shape and motion of nonrigid 3D objects from uncalibrated 2D point tracks. For example, given a video recording of a talkin...
Lorenzo Torresani, Aaron Hertzmann, Christoph Breg...
DPD
2002
126views more  DPD 2002»
15 years 6 months ago
HiCoMo: High Commit Mobile Transactions
Abstract. We introduce a new mobile transaction model applicable to decisionmaking applications over aggregate data warehoused on mobile hosts. The model allows the aggregate data ...
Minsoo Lee, Abdelsalam Helal
ISJ
2002
120views more  ISJ 2002»
15 years 6 months ago
A framework for creating hybrid-open source software communities
The open source software (OSS) model is a fundamentally new and revolutionary way to develop software. The success of the OSS model is also setting the stage for a structural chang...
Srinarayan Sharma, Vijayan Sugumaran, Balaji Rajag...