13 search results - page 3 / 3 » Consistency-based approaches to merging knowledge bases: pre... |
PASTE
2004
ACM
13 years 11 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
AAAI
2007
13 years 7 months ago
2007
Efficient query answering over ontologies is one of the most useful and important services to support Semantic Web applications. Approximation has been identified as a potential...
BMCBI
2007
13 years 5 months ago
2007
Background: The structure annotation of a genome is based either on ab initio methodologies or on similaritiy searches versus molecules that have been already annotated. Ab initio...