1659 search results - page 234 / 332 » From Functional Analysis to Iterative Methods |
121
Voted
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
124
Voted
ICDAR
2011
IEEE
14 years 2 months ago
2011
IEEE
—In this paper, we propose a new method for three dimensional rotation-free recognition of characters in scene. In the proposed method, we employ the Modified Quadratic Discrimi...
109
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Proteomic profiling using mass spectrometry (MS) is one of the most promising methods for the analysis of complex biological samples such as urine, serum and tissue fo...
158
click to vote
BMCBI
2005
15 years 2 months ago
2005
Background: Complete sequencing of bacterial genomes has become a common technique of present day microbiology. Thereafter, data mining in the complete sequence is an essential st...
131
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: One of the most commonly performed tasks when analysing high throughput gene expression data is to use clustering methods to classify the data into groups. There are a...