Sciweavers

3547 search results - page 606 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
ICIP
2002
IEEE
16 years 8 months ago
Full search content independent block matching based on the fast Fourier transform
In this paper, we present a new algorithm for solving the block matching problem which is independent of image content and is faster than other full-search methods. The method emp...
Mark S. Drew, Steven L. Kilthau, Torsten Möll...
DAC
2005
ACM
16 years 7 months ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...
ICML
2007
IEEE
16 years 7 months ago
Efficiently computing minimax expected-size confidence regions
Given observed data and a collection of parameterized candidate models, a 1- confidence region in parameter space provides useful insight as to those models which are a good fit t...
Brent Bryan, H. Brendan McMahan, Chad M. Schafer, ...
ISBI
2006
IEEE
16 years 7 months ago
Development of a research interface for image guided intervention: initial application to epilepsy neurosurgery
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...
Xenophon Papademetris, Kenneth P. Vives, Marcello ...
WWW
2008
ACM
16 years 7 months ago
Using context to enable semantic mediation in web service communities
The use of communities provides a scalable solution for gathering and managing functionally-equivalent Web services. In order to ensure single access to the community, a community...
Michael Mrissa, Philippe Thiran, Chirine Ghedira, ...