Sciweavers

4192 search results - page 33 / 839
» Efficient testing of groups
Sort
View
MICCAI
2006
Springer
14 years 11 months ago
Multi-resolution Vessel Segmentation Using Normalized Cuts in Retinal Images
Abstract. Retinal vessel segmentation is an essential step of the diagnoses of various eye diseases. In this paper, we propose an automatic, efficient and unsupervised method based...
Wenchao Cai, Albert C. S. Chung
VLDB
2007
ACM
130views Database» more  VLDB 2007»
14 years 10 months ago
A framework for efficient regression tests on database applications
Regression testing is an important software maintenance activity to ensure the integrity of a software after modification. However, most methods and tools developed for software te...
Florian Haftmann, Donald Kossmann, Eric Lo
FOCS
1992
IEEE
14 years 2 months ago
Computing in Solvable Matrix Groups
We announce methods for e cient management of solvable matrix groups over nite elds. We show that solvability and nilpotence can be tested in polynomial-time. Such e ciency seems ...
Eugene M. Luks
MICCAI
2008
Springer
14 years 11 months ago
Group Statistics of DTI Fiber Bundles Using Spatial Functions of Tensor Measures
We present a framework for hypothesis testing of differences between groups of DTI fiber tracts. An anatomical, tract-oriented coordinate system provides a basis for estimating the...
Casey Goodlett, P. Thomas Fletcher, John H. Gilm...
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
14 years 2 months ago
Efficient decision ordering techniques for SAT-based test generation
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Mingsong Chen, Xiaoke Qin, Prabhat Mishra