Sciweavers

213 search results - page 40 / 43
» Testing for Curves in a Binary Image
Sort
View
ISSTA
2010
ACM
13 years 11 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder
ICIP
2008
IEEE
14 years 9 months ago
Robust brain activation detection in functional MRI
Functional Magnetic Resonance Imaging (MRI) is today one of the most important non-invasive tools to study the brain from a functional point of view. The blood-oxygenation-level-d...
David M. Afonso, João M. Sanches, Martin H....
ACCV
2006
Springer
14 years 1 months ago
A Multiscale Co-linearity Statistic Based Approach to Robust Background Modeling
Background subtraction is an essential task in several static camera based computer vision systems. Background modeling is often challenged by spatio-temporal changes occurring due...
Prithwijit Guha, Dibyendu Palai, K. S. Venkatesh, ...
CLEF
2009
Springer
13 years 5 months ago
Overview of the CLEF 2009 Large-Scale Visual Concept Detection and Annotation Task
The large-scale visual concept detection and annotation task (LS-VCDT) in ImageCLEF 2009 aims at the detection of 53 concepts in consumer photos. These concepts are structured in ...
Stefanie Nowak, Peter Dunker
VIS
2004
IEEE
222views Visualization» more  VIS 2004»
14 years 8 months ago
Non-Linear Model Fitting to Parameterize Diseased Blood Vessels
Accurate estimation of vessel parameters is a prerequisite for automated visualization and analysis of healthy and diseased blood vessels. The objective of this research is to est...
Alexandra La Cruz, Matús Straka, Arnold K&o...