7839 search results - page 275 / 1568 » What's there and what's not |
ACMDIS
2008
ACM
15 years 3 months ago
2008
ACM
While we should celebrate our success at evolving many vital aspects of the human-technology interactive experience, we question the scope of this progress. Step back with us for ...
AISC
2008
Springer
15 years 3 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
119
click to vote
CADE
2008
Springer
15 years 3 months ago
2008
Springer
Completion is a general paradigm for applying inferences to generate a canonical presentation of a logical theory, or to semi-decide the validity of theorems, or to answer queries....
105
click to vote
CAISE
2008
Springer
15 years 3 months ago
2008
Springer
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
CAISE
2008
Springer
15 years 3 months ago
2008
Springer
This paper proposes the use Bayesian networks for the automatic merging of metamodels. The proposed Bayesian networks calculate the probability that a merge of two metamodel elemen...