Sciweavers

580 search results - page 29 / 116
» Bottleneck Detection Using Statistical Intervention Analysis
Sort
View
ICSE
2004
IEEE-ACM
14 years 10 months 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,...
SCIA
2009
Springer
118views Image Analysis» more  SCIA 2009»
14 years 2 months ago
Grouping of Semantically Similar Image Positions
Features from the Scale Invariant Feature Transformation (SIFT) are widely used for matching between spatially or temporally displaced images. Recently a topology on the SIFT featu...
Lutz Priese, Frank Schmitt, Nils Hering
IJON
2008
186views more  IJON 2008»
13 years 10 months ago
Computational analysis and learning for a biologically motivated model of boundary detection
In this work we address the problem of boundary detection by combining ideas and approaches from biological and computational vision. Initially, we propose a simple and efficient ...
Iasonas Kokkinos, Rachid Deriche, Olivier D. Fauge...
TMI
1998
155views more  TMI 1998»
13 years 9 months ago
Spatio-temporal fMRI Analysis using Markov Random Fields
Abstract—Functional magnetic resonance images (fMRI’s) provide high-resolution datasets which allow researchers to obtain accurate delineation and sensitive detection of activa...
Xavier Descombes, Frithjof Kruggel, D. Yves von Cr...
AAAI
2006
13 years 11 months ago
When Gossip is Good: Distributed Probabilistic Inference for Detection of Slow Network Intrusions
Intrusion attempts due to self-propagating code are becoming an increasingly urgent problem, in part due to the homogeneous makeup of the internet. Recent advances in anomalybased...
Denver Dash, Branislav Kveton, John Mark Agosta, E...