4266 search results - page 825 / 854 » A Framework for Defining Logics |
80
Voted
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
We present a theoretical analysis of supervised ranking, providing necessary and sufficient conditions for the asymptotic consistency of algorithms based on minimizing a surrogate...
AI
2008
Springer
14 years 9 months ago
2008
Springer
Dealing with numerical information is practically important in many real-world planning domains where the executability of an action can depend on certain numerical conditions, an...
BMCBI
2010
14 years 9 months ago
2010
Background: Structural variations caused by a wide range of physico-chemical and biological sources directly influence the function of a protein. For enzymatic proteins, the struc...
BMCBI
2010
14 years 9 months ago
2010
Background: Haplotype-based approaches have been extensively studied for case-control association mapping in recent years. It has been shown that haplotype methods can provide mor...
110
click to vote
BMCBI
2008
14 years 9 months ago
2008
Background: Optimization theory has been applied to complex biological systems to interrogate network properties and develop and refine metabolic engineering strategies. For examp...