Sciweavers

4911 search results - page 214 / 983
» Tree dependence analysis
Sort
View
ICDAR
2007
IEEE
15 years 9 months ago
Simultaneous Layout Style and Logical Entity Recognition in a Heterogeneous Collection of Documents
Logical entity recognition in heterogeneous collections of document page images remains a challenging problem since the performance of traditional supervised methods degrade drama...
S. Chen, S. Mao, G. Thoma
150
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 8 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
129
Voted
CORR
2012
Springer
222views Education» more  CORR 2012»
13 years 11 months ago
A limit process for partial match queries in random quadtrees
We consider the problem of recovering items matching a partially specified pattern in multidimensional trees (quad trees and k-d trees). We assume the classical model where the d...
Nicolas Broutin, Ralph Neininger, Henning Sulzbach
101
Voted
SCAM
2006
IEEE
15 years 9 months ago
Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
David Binkley, Mark Harman, Jens Krinke
ICASSP
2010
IEEE
15 years 1 months ago
Independent subspace analysis with prior information for fMRI data
Independent component analysis (ICA) has been successfully applied for the analysis of functional magnetic resonance imaging (fMRI) data. However, independence might be too strong...
Sai Ma, Xi-Lin Li, Nicolle M. Correa, Tülay A...