Sciweavers

933 search results - page 76 / 187
» A Fully Automatic hp-Adaptivity
Sort
View
81
Voted
ISBI
2008
IEEE
16 years 1 months ago
Segmentation of 4D MR renography images using temporal dynamics in a level set framework
A novel 4D level set framework was developed to segment dynamic MR images into the cortex, medulla and collecting system. The novelty of the method is that it combines information...
Ting Song, Vivian S. Lee, Henry Rusinek, Qun Chen,...
ICSE
2004
IEEE-ACM
16 years 23 days ago
Generating Tests from Counterexamples
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...
114
Voted
GBRPR
2009
Springer
15 years 7 months ago
Annotated Contraction Kernels for Interactive Image Segmentation
This article shows how the interactive segmentation tool termed “Active Paintbrush” and a fully automatic region merging can both be based on the theoretical framework of contr...
Hans Meine
88
Voted
ICPR
2008
IEEE
15 years 7 months ago
Interactive labeling of facial action units
For many computer vision problems, it is very important to produce the groundtruth data. Manual data labeling is labor-intensive and prone to the human errors, whereas fully autom...
Lei Zhang, Yan Tong, Qiang Ji
JIT
2005
Springer
149views Database» more  JIT 2005»
15 years 6 months ago
Grid Resource Ontologies and Asymmetric Resource-Correlation
Automatic Grid resource discovery and brokerage shields the Grid middleware complexities from the Grid users and leads towards an invisible but simple and robust Grid. Realizing th...
Mumtaz Siddiqui, Thomas Fahringer, Jürgen Hof...