Sciweavers

3707 search results - page 343 / 742
» A Simple Technique for Self-Calibration
Sort
View
AB
2008
Springer
15 years 8 months ago
Differential Algebra and System Modeling in Cellular Biology
Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...
François Boulier, François Lemaire
ANNPR
2008
Springer
15 years 8 months ago
Feature Ranking Ensembles for Facial Action Unit Classification
Recursive Feature Elimination RFE combined with feature-ranking is an effective technique for eliminating irrelevant features. In this paper, an ensemble of MLP base classifiers wi...
Terry Windeatt, Kaushala Dias
ANTSW
2008
Springer
15 years 8 months ago
Two-Level ACO for Haplotype Inference Under Pure Parsimony
Abstract. Haplotype Inference is a challenging problem in bioinformatics that consists in inferring the basic genetic constitution of diploid organisms on the basis of their genoty...
Stefano Benedettini, Andrea Roli, Luca Di Gaspero
CAV
2008
Springer
170views Hardware» more  CAV 2008»
15 years 8 months ago
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
Himanshu Jain, Edmund M. Clarke, Orna Grumberg
ASPDAC
2005
ACM
89views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Optimal placement by branch-and-price
— Circuit placement has a large impact on all aspects of performance; speed, power consumption, reliability, and cost are all affected by the physical locations of interconnected...
Pradeep Ramachandaran, Ameya R. Agnihotri, Satoshi...