Sciweavers

10907 search results - page 34 / 2182
» Constraint Based Strategies
Sort
View
111
Voted
CVPR
2009
IEEE
16 years 4 months ago
Half-integrality based algorithms for Cosegmentation of Images
We study the cosegmentation problem where the objective is to segment the same object (i.e., region) from a pair of images. The segmentation for each image can be cast using a p...
Chuck R. Dyer, Lopamudra Mukherjee, Vikas Singh
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
14 years 11 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...
CAISE
2008
Springer
14 years 11 months ago
A Process Engineering Method based on a Process Domain Model and Patterns
There are many different process meta-models that offer different viewpoints of a same process: activity oriented, product oriented, decision oriented, context oriented and strateg...
Charlotte Hug, Agnès Front, Dominique Rieu
CVPR
2010
IEEE
15 years 3 months ago
Free-Form Mesh Tracking : a Patch-Based Approach
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...
Cedric Cagniart, Edmond Boyer, Slobodan Ilic
DCC
2010
IEEE
15 years 3 months ago
Auto Regressive Model and Weighted Least Squares Based Packet Video Error Concealment
In this paper, auto regressive (AR) model is applied to error concealment for block-based packet video encoding. Each pixel within the corrupted block is restored as the weighted ...
Yongbing Zhang, Xinguang Xiang, Siwei Ma, Debin Zh...