3888 search results - page 544 / 778 » Change-Driven Model Transformations |
165
click to vote
TCS
2010
15 years 5 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
216
click to vote
JMLR
2010
15 years 1 months ago
2010
Machine learning methods that can use additional knowledge in their inference process are central to the development of integrative bioinformatics. Inclusion of background knowled...
148
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Our previous analysis of speaker-adaptive HMM-based speech synthesis methods suggested that there are two possible reasons why average voices can obtain higher subjective scores t...
197
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
We propose a face difference model that decomposes face difference into three components, intrinsic difference, transformation difference, and noise. Using the face difference mod...
218
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we present a method for tracking and retexturing of garments that exploits the entire image information using the optical flow constraint instead of working with di...