Sciweavers

351 search results - page 22 / 71
» Utility Ontology Development with Formal Concept Analysis
Sort
View
DLIB
2002
263views more  DLIB 2002»
14 years 11 months ago
Information Retrieval by Semantic Analysis and Visualization of the Concept Space of D-Lib Magazine
In this article we present a method for retrieving documents from a digital library through a visual interface based on automatically generated concepts. We used a vocabulary gene...
Junliang Zhang, Javed Mostafa, Himansu Tripathy
APCCM
2009
15 years 26 days ago
Conceptional Modeling and Analysis of Spatio-Temporal Processes in Biomolecular Systems
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
Andreas Schäfer, Mathias John
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 3 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
BMCBI
2010
105views more  BMCBI 2010»
14 years 12 months ago
The Neural/Immune Gene Ontology: clipping the Gene Ontology for neurological and immunological systems
Background: The Gene Ontology (GO) is used to describe genes and gene products from many organisms. When used for functional annotation of microarray data, GO is often slimmed by ...
Nophar Geifman, Alon Monsonego, Eitan Rubin
AAI
2010
108views more  AAI 2010»
14 years 12 months ago
Augmenting Subsumption Propagation in Distributed Description Logics
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...
Martin Homola, Luciano Serafini