Sciweavers

20441 search results - page 48 / 4089
» Locally Computable Structures
Sort
View
ISMB
2000
13 years 9 months ago
Towards a Systematics for Protein Subcellular Location: Quantitative Description of Protein Localization Patterns and Automated
Determination of the functions of all expressed proteins represents one of the major upcoming challenges in computational molecular biology. Since subcellular location plays a cru...
Robert F. Murphy, Michael V. Boland, Meel Velliste
FOSSACS
2007
Springer
14 years 1 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
CVPR
2007
IEEE
14 years 9 months ago
Implicit Active Contours Driven by Local Binary Fitting Energy
In this paper, we propose a novel region-based active contour model for image segmentation with a variational level set formulation. By introducing a local binary fitting energy, ...
Chunming Li, Chiu-Yen Kao, John C. Gore, Zhaohua D...
ICPR
2008
IEEE
14 years 9 months ago
Multiple view based 3D object classification using ensemble learning of local subspaces
Multiple observation improves the performance of 3D object classification. However, since the distribution of feature vectors obtained from multiple view points have strong nonlin...
Jianing Wu, Kazuhiro Fukui
ICPR
2008
IEEE
14 years 2 months ago
Scale invariant face recognition using probabilistic similarity measure
In video surveillance, the size of face images is very small. However, few works have been done to investigate scale invariant face recognition. Our experiments on appearance-base...
Zhifei Wang, Zhenjiang Miao