5525 search results - page 269 / 1105 » Verification of Model Transformations |
135
Voted
PRL
2008
15 years 5 months ago
2008
This paper presents an efficient and robust approach for MRI
122
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
123
click to vote
SIGGRAPH
2003
ACM
15 years 10 months ago
2003
ACM
Modelling by analogy has become a powerful paradigm for editing images. Using a pair of before- and afterexample images of a transformation, a system that models by analogy produc...
125
click to vote
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Pitch mismatch between training and testing is one of the important factors causing the performance degradation of the speaker recognition system. In this paper, we adopted the mis...
164
click to vote
DBPL
1997
Springer
15 years 9 months ago
1997
Springer
We consider spatial databases that can be defined in terms of polynomial inequalities, and we are interested in monotonic transformations of spatial databases. We investigate a hi...