515 search results - page 8 / 103 » Efficient Logic Optimization Using Regularity Extraction |
116
Voted
BMCBI
2010
15 years 1 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...
ICML
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we present a robust feature extraction framework based on informationtheoretic learning. Its formulated objective aims at simultaneously maximizing the Renyi's...
90
Voted
TGIS
2002
15 years 23 days ago
2002
Regularized Spline with Tension (RST) is an accurate, flexible and efficient method for multivariate interpolation of scattered data. This study evaluates its capabilities to inte...
113
Voted
EACL
2003
ACL Anthology
15 years 2 months ago
2003
ACL Anthology
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...
JUCS
2007
15 years 1 months ago
2007
: In this paper we obtain new effective results on the Halpern iterations of nonexpansive mappings using methods from mathematical logic or, more specifically, proof-theoretic te...