910 search results - page 72 / 182 » XACML Function Annotations |
BMCBI
2008
14 years 11 months ago
2008
Background: Gene Ontology (GO) annotation, which describes the function of genes and gene products across species, has recently been used to predict protein subcellular and subnuc...
CSL
2009
Springer
15 years 5 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
CONCUR
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
CAISE
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Current Web applications provide their information and functionalities to human users only. To make Web applications also accessible for machines, the Semantic Web propos...
103
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: The accurate determination of orthology and inparalogy relationships is essential for comparative sequence analysis, functional gene annotation and evolutionary studie...