Sciweavers

6750 search results - page 54 / 1350
» Performance Analysis Framework for Layout Analysis Methods
Sort
View
FM
2008
Springer
192views Formal Methods» more  FM 2008»
14 years 11 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli
DOCENG
2003
ACM
15 years 3 months ago
INFTY: an integrated OCR system for mathematical documents
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
Masakazu Suzuki, Fumikazu Tamari, Ryoji Fukuda, Se...
BMCBI
2006
120views more  BMCBI 2006»
14 years 10 months ago
A factor analysis model for functional genomics
Background: Expression array data are used to predict biological functions of uncharacterized genes by comparing their expression profiles to those of characterized genes. While b...
Rafal Kustra, Romy Shioda, Mu Zhu
IJPP
2010
137views more  IJPP 2010»
14 years 8 months ago
Parallel Option Price Valuations with the Explicit Finite Difference Method
Abstract. We show how computations such as those involved in American or European-style option price valuations with the explicit finite difference method can be performed in par...
Alexandros V. Gerbessiotis
ICIP
2003
IEEE
15 years 11 months ago
Boosting linear discriminant analysis for face recognition
In this paper, we propose a new algorithm to boost performance of traditional Linear Discriminant Analysis (LDA)-based face recognition (FR) methods in complex FR tasks, where hig...
Juwei Lu, Konstantinos N. Plataniotis, Anastasios ...