Sciweavers

641 search results - page 51 / 129
» Supporting the Development of Medical Ontologies
Sort
View
CADE
2009
Springer
16 years 7 months ago
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
Chad E. Brown, Christoph Benzmüller, Frank Th...
SLE
2009
Springer
16 years 1 months ago
Ontological Metamodeling with Explicit Instantiation
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...
Alfons Laarman, Ivan Kurtev
WWW
2006
ACM
16 years 7 months ago
Knowledge modeling and its application in life sciences: a tale of two ontologies
High throughput glycoproteomics, similar to genomics and proteomics, involves extremely large volumes of distributed, heterogeneous data as a basis for identification and quantifi...
Satya Sanket Sahoo, Christopher Thomas, Amit P. Sh...
PRICAI
2004
Springer
16 years 1 days ago
Prediction of the Risk Types of Human Papillomaviruses by Support Vector Machines
Abstract. Infection by high-risk human papillomaviruses (HPVs) is associated with the development of cervical cancers. Classification of risk types is important to understand the ...
Je-Gun Joung, Sok June Oh, Byoung-Tak Zhang
CLEIEJ
2004
95views more  CLEIEJ 2004»
15 years 6 months ago
Ontology and XML-based Specifications for Collaborative B2B Relationships
A collaborative B2B relationship implies jointly executing business processes. This relationship demands a complete access to available information and knowledge to support decisi...
María Laura Caliusco, María Rosa Gal...