2152 search results - page 120 / 431 » On Automating the Calculus of Relations |
77
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
IJCAI
1997
15 years 2 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
56
Voted
INFORMATICALT
2008
15 years 24 days ago
2008
Abstract. New information technologies provide a possibility of collecting a large amount of fundus images into databases. It allows us to use automated processing and classificati...
83
Voted
IWPC
2008
IEEE
15 years 7 months ago
2008
IEEE
Modern software systems are typically large and complex, making comprehension of these systems extremely difficult. Experienced programmers comprehend code by seamlessly processi...
129
click to vote
RR
2007
Springer
15 years 7 months ago
2007
Springer
For the foreseeable future, most data will continue to be stored in relational databases. To work with these data in ontology-based applications, tools and techniques that bridge t...