Sciweavers

2705 search results - page 107 / 541
» Formal Ontology for Subject
Sort
View
BIBE
2004
IEEE
128views Bioinformatics» more  BIBE 2004»
13 years 11 months ago
Towards a Proteomics Meta-Classification
There is a recognized need for a meta-classification that can serve as a foundation for more refined ontologies in the field of proteomics. Standard data sources classify proteins...
Anand Kumar, Barry Smith
EKAW
2006
Springer
13 years 11 months ago
Semantic Metrics
In the context of the Semantic Web, many ontology-related operations, e.g. ontology ranking, segmentation, alignment, articulation, reuse, evaluation, can reduced to one fundamenta...
Bo Hu, Yannis Kalfoglou, Harith Alani, David Duppl...
AIME
2009
Springer
13 years 9 months ago
Semantic Web-Based Modeling of Clinical Pathways Using the UML Activity Diagrams and OWL-S
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
Ali Daniyal, Syed Sibte Raza Abidi
ICAI
2004
13 years 9 months ago
Mixed-Initiative Ontology Learning
This paper presents a mixed-initiative assistant that supports a subject matter expert to extend the ontology of a learning agent, in order to express the subtle distinctions he ma...
Cristina Boicu, Gheorghe Tecuci
TPHOL
2000
IEEE
13 years 11 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison