912 search results - page 48 / 183 » Abstract Saturation-Based Inference |
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
CIARP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. An important problem in the bioinformatics field is to understand how genes are regulated and interact through gene networks. This knowledge can be helpful for many appl...
ICFP
1999
ACM
15 years 2 months ago
1999
ACM
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
ISMB
1997
1997
Inferring Gene Structures in Genomic Sequences Using Pattern Recognition and Expressed Sequence Tags
14 years 11 months ago
Abstract.) Ying Xu, Richard J. MuraF, and Edward C. Uberbacher Computer Science and Mathematics Division and tLife Sciences Division Computational methods for gene identification ...
BMCBI
2007
14 years 9 months ago
2007
Background: Lately, there has been a great interest in the application of information extraction methods to the biomedical domain, in particular, to the extraction of relationship...