9 search results - page 1 / 2 » Applying Logic Programming to Derive Novel Functional Inform... |
PADL
1999
Springer
13 years 9 months ago
1999
Springer
BMCBI
2006
2006
A Regression-based K nearest neighbor algorithm for gene function prediction from heterogeneous data
13 years 5 months ago
Background: As a variety of functional genomic and proteomic techniques become available, there is an increasing need for functional analysis methodologies that integrate heteroge...
PLPV
2011
ACM
12 years 8 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
SAINT
2005
IEEE
13 years 11 months ago
2005
IEEE
Inductive Logic Programming (ILP) is a combination of inductive learning and first-order logic aiming to learn first-order hypotheses from training examples. ILP has a serious b...
BMCBI
2011
12 years 9 months ago
2011
Background: Orthology analysis is an important part of data analysis in many areas of bioinformatics such as comparative genomics and molecular phylogenetics. The ever-increasing ...