1981 search results - page 375 / 397 » Model-Checking Hierarchical Structures |
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
In this paper we give a brief explanation of how Anchor Concept and Sub-Ontology based Ontology Matching (SOBOM) gets the alignment results at OAEI2009. SOBOM deal with the ontolog...
BIBM
2008
IEEE
14 years 3 months ago
2008
IEEE
Background: Gene expression signatures in the mammalian brain hold the key to understanding neural development and neurological disease. Researchers have previously used voxelatio...
DASFAA
2008
IEEE
14 years 3 months ago
2008
IEEE
View updating is a long standing difficult problem. Given a view defined over base data sources and a view update, there are several different updates over the base data sources,...
PG
2007
IEEE
14 years 3 months ago
2007
IEEE
We describe a new algorithm for the visualisation of implicit algebraic curves, which isolates the singular points, compute the topological degree around these points in order to ...
LADC
2007
Springer
14 years 2 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...