1054 search results - page 148 / 211 » From a Verified Kernel towards Verified Systems |
197
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
We propose a method for the analysis of Magnetic Resonance (MR) cardiac images with the goal of reconstructing the motion of the ventricular walls. The main feature of our method i...
166
click to vote
MOBICOM
2009
ACM
16 years 20 days ago
2009
ACM
The capacity scaling property specifies the changes in network throughput when network size increases and serves as an essential performance evaluation metric for large-scale wir...
198
click to vote
PG
2007
IEEE
2007
IEEE
Statistical Hypothesis Testing for Assessing Monte Carlo Estimators: Applications to Image Synthesis
16 years 13 days ago
Image synthesis algorithms are commonly compared on the basis of running times and/or perceived quality of the generated images. In the case of Monte Carlo techniques, assessment ...
179
click to vote
WWW
2002
ACM
16 years 6 months ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
193
click to vote
COMCOM
2008
15 years 6 months ago
2008
With the unique features of spatial multiplexing and interference suppression, Multiple Input Multiple Output (MIMO) techniques have great potential in the improvement of network ...