Sciweavers

910 search results - page 73 / 182
» XACML Function Annotations
Sort
View
AO
2011
112views more  AO 2011»
14 years 6 months ago
The RNA Ontology (RNAO): An ontology for integrating RNA sequence and structure data
Biomedical Ontologies are intended to integrate diverse biomedical data to enable intelligent datamining and facilitate translation of basic research into useful clinical knowledg...
Robert Hoehndorf, Colin R. Batchelor, Thomas Bittn...
TDSC
2010
172views more  TDSC 2010»
14 years 5 months ago
Proactive Detection of Computer Worms Using Model Checking
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
Johannes Kinder, Stefan Katzenbeisser, Christian S...
POPL
2012
ACM
13 years 6 months ago
Recursive proofs for inductive tree data-structures
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Ste...
BMCBI
2008
158views more  BMCBI 2008»
14 years 11 months ago
Metrics for GO based protein semantic similarity: a systematic evaluation
Background: Several semantic similarity measures have been applied to gene products annotated with Gene Ontology terms, providing a basis for their functional comparison. However,...
Catia Pesquita, Daniel Faria, Hugo P. Bastos, Ant&...
BMCBI
2007
94views more  BMCBI 2007»
14 years 11 months ago
Lightweight genome viewer: portable software for browsing genomics data in its chromosomal context
Background: Lightweight genome viewer (lwgv) is a web-based tool for visualization of sequence annotations in their chromosomal context. It performs most of the functions of large...
Jeremiah J. Faith, Andrew J. Olson, Timothy S. Gar...