Sciweavers

5775 search results - page 410 / 1155
» A Rationale-based Analysis Tool
Sort
View
DAC
2003
ACM
16 years 7 months ago
Automatic trace analysis for logic of constraints
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
IPMI
2005
Springer
16 years 7 months ago
Information Fusion in Biomedical Image Analysis: Combination of Data vs. Combination of Interpretations
Information fusion has, in the form of multiple classifier systems, long been a successful tool in pattern recognition applications. It is also becoming increasingly popular in bio...
Torsten Rohlfing, Adolf Pfefferbaum, Edith V. Sull...
ISBI
2002
IEEE
16 years 7 months ago
Statistical shape models for segmentation and structural analysis
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...
Guido Gerig, Martin Andreas Styner, Gábor S...
ISBI
2008
IEEE
16 years 7 months ago
Convex analysis and separation of composite signals in DCE-MRI
Dynamic functional imaging promises powerful tools for the visualization and elucidation of important diseasecausing biological processes, where the pixels often represent a compo...
Li Chen, Tsung-Han Chan, Peter L. Choyke, Chong-Yu...
WWW
2004
ACM
16 years 7 months ago
Combining link and content analysis to estimate semantic similarity
Search engines use content and link information to crawl, index, retrieve, and rank Web pages. The correlations between similarity measures based on these cues and on semantic ass...
Filippo Menczer