1914 search results - page 254 / 383 » Semantic domains for Handel-C |
108
Voted
BMCBI
2007
15 years 28 days ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
95
Voted
ICALT
2005
IEEE
15 years 6 months ago
2005
IEEE
For their usage in the semantic web, valid ontologies are required for a given domain. Here we focus on ontologies represented as concept maps (semantic nets). For one and the sam...
114
click to vote
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
111
click to vote
BMCBI
2007
15 years 28 days ago
2007
Background: Current efforts within the biomedical ontology community focus on achieving interoperability between various biomedical ontologies that cover a range of diverse domain...
107
Voted
ENTCS
2006
15 years 25 days ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...