959 search results - page 69 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
ER
2000
Springer
13 years 11 months ago
2000
Springer
The need for descriptive information, i.e., metadata, about Web resources has been recognized in several application contexts (e.g., digital libraries, portals). The Resource Descr...
SWAP
2007
13 years 9 months ago
2007
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
PEPM
1991
ACM
13 years 11 months ago
1991
ACM
This is a follow-on to my 1988PLDIpaper, “Control-Flow Analysis e”[9]. Iusethe methodofabstractsemanticinterpretations to explicate the control-flow analysis technique presen...
DGO
2003
13 years 9 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...
3DPH
2009
13 years 9 months ago
2009
A new anatomical database, My Corporis Fabrica (MyCF), is presented. It extends the reference anatomical ontology FMA (the Foundational Model of Anatomy) with the possibility to co...