Sciweavers

279 search results - page 13 / 56
» Stacked Hierarchical Labeling
Sort
View
AISC
2008
Springer
14 years 11 months ago
A Tactic Language for Hiproofs
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
David Aspinall, Ewen Denney, Christoph Lüth
92
Voted
BMCBI
2010
143views more  BMCBI 2010»
14 years 9 months ago
Evaluation of methods for detection of fluorescence labeled subcellular objects in microscope images
Background: Several algorithms have been proposed for detecting fluorescently labeled subcellular objects in microscope images. Many of these algorithms have been designed for spe...
Pekka Ruusuvuori, Tarmo Äijö, Sharif Cho...
IV
2003
IEEE
91views Visualization» more  IV 2003»
15 years 2 months ago
Labeled Radial Drawing of Data Structures
This paper describes a radial layout method for displaying B+ -tree data structures. We present an algorithmic framework for computing the node positions that result in a planar d...
M. Bernard, S. Mohammed
ADC
2005
Springer
111views Database» more  ADC 2005»
15 years 3 months ago
An Access Control Method Based on the Prefix Labeling Scheme for XML Repositories
This paper describes an access control method of the XML repository system, SAXOPHONE, which was implemented at Tokyo Metropolitan University. The main feature of our research is ...
Shohei Yokoyama, Manabu Ohta, Kaoru Katayama, Hiro...
CVPR
2010
IEEE
15 years 5 months ago
Globally Optimal Pixel Labeling Algorithms for Tree Metrics
We consider pixel labeling problems where the label set forms a tree, and where the observations are also labels. Such problems arise in feature-space analysis with a very large...
Pedro Felzenszwalb, Gyula Pap, Eva Tardos, Ramin Z...