6434 search results - page 763 / 1287 » Model Transformations with Reference Models |
190
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
183
click to vote
NAR
2011
14 years 9 months ago
2011
dictyBase (http://www.dictybase.org), the model organism database for Dictyostelium, aims to provide the broad biomedical research community with well integrated, high quality dat...
160
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
We study the scenario of a multiview setting, where several
calibrated views of a textured object with known surface
geometry are available. The objective is to estimate a
diffu...
199
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper introduces a novel kernel-based method for template tracking in video sequences. The method is derived for a general warping transformation, and its application to affi...
150
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
A fast mode decision method for Intra prediction in H.264 is proposed in this work to reduce the encoder complexity. The proposed algorithm adopts a multi-stage sequential mode de...