Sciweavers

1609 search results - page 229 / 322
» Problem Structure and Dependable Architecture
Sort
View
MICCAI
2002
Springer
14 years 11 months ago
Multi-modal Image Registration by Minimising Kullback-Leibler Distance
In this paper, we propose a multi-modal image registration method based on the a priori knowledge of the expected joint intensity distribution estimated from aligned training image...
Albert C. S. Chung, William M. Wells III, Alexande...
MICCAI
2004
Springer
14 years 11 months ago
Enhancing Fourier Volume Rendering Using Contour Extraction
Fourier Volume Rendering (FVR) has received considerable attention in volume visualization during the last decade due its O(N2 logN) rendering time complexity, where O(N3 ) is the ...
Zoltán Nagy, Marcin Novotni, Reinhard Klein
POPL
2009
ACM
14 years 11 months ago
Unifying type checking and property checking for low-level code
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, ...
SIGMOD
2005
ACM
109views Database» more  SIGMOD 2005»
14 years 10 months ago
Query-Sensitive Embeddings
A common problem in many types of databases is retrieving the most similar matches to a query object. Finding those matches in a large database can be too slow to be practical, es...
Vassilis Athitsos, Marios Hadjieleftheriou, George...
ICWS
2009
IEEE
14 years 7 months ago
Towards Probabilistic Estimation of Quality of Online Services
Accurate estimation of quality of online services is both an important and difficult problem, since a service has many interdependent quality attributes influenced by several co...
Le-Hung Vu, Karl Aberer