4250 search results - page 569 / 850 » Understanding the Requirements on Modelling Techniques |
256
click to vote
NIPS
2007
15 years 8 months ago
2007
In online handwriting recognition the trajectory of the pen is recorded during writing. Although the trajectory provides a compact and complete representation of the written outpu...
226
click to vote
SDM
2004
SIAM
15 years 8 months ago
2004
SIAM
Multivariate statistical analysis is an important data analysis technique that has found applications in various areas. In this paper, we study some multivariate statistical analy...
190
click to vote
JRTIP
2008
15 years 7 months ago
2008
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
167
click to vote
JSYML
2008
15 years 7 months ago
2008
An important technique in large cardinal set theory is that of extending an elementary embedding j : M N between inner models to an elementary embedding j : M[G] N[G] between ge...
234
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...