Sciweavers

10907 search results - page 34 / 2182
» Constraint Based Strategies
Sort
View
CVPR
2009
IEEE
17 years 16 days 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»
15 years 7 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
15 years 7 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
163
Voted
CVPR
2010
IEEE
15 years 11 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
165
Voted
DCC
2010
IEEE
15 years 10 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...