1205 search results - page 76 / 241 » Conservativity in Structured Ontologies |
181
Voted
SPE
2008
15 years 5 months ago
2008
composed of various graphs linked together by relations of abstraction/refinement. The new structure is useful for representing information that can be described at t levels of abs...
179
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
188
click to vote
BIBE
2007
IEEE
15 years 5 months ago
2007
IEEE
While much research has been done on finding similarities between protein sequences, there has not been the same progress on finding similarities between protein structures. Here ...
141
Voted
SPIRE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce a new data structure, called MiGaL for “Multiple Graph Layers”, that is composed of various graphs linked together ions of abstraction/refinement. The n...
148
click to vote
JLP
2006
15 years 5 months ago
2006
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work...