3742 search results - page 579 / 749 » On the Use of Formal Techniques for Validation |
183
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
Random subspaces are a popular ensemble construction technique that improves the accuracy of weak classifiers. It has been shown, in different domains, that random subspaces combi...
301
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we investigate a new approach to process queries in data stream applications. We show that reference locality characteristics of data streams could be exploited in ...
166
click to vote
VIS
2005
IEEE
16 years 7 months ago
2005
IEEE
We present the application of hardware accelerated volume rendering algorithms to the simulation of radiographs as an aid to scientists designing experiments, validating simulatio...
153
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. Recently developed techniques for reconstruction of highresolution 3D images from fetal MR scans allows us to study the morphometry of developing brain tissues in utero. ...
161
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We present the fast Spherical Demons algorithm for registering two spherical images. By exploiting spherical vector spline interpolation theory, we show that a large clas...