498 search results - page 72 / 100 » A Formal Foundation for XrML |
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
CCA
2005
Springer
15 years 3 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
IWPSE
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
105
click to vote
ICALP
1997
Springer
15 years 2 months ago
1997
Springer
In the 1980's, Bennett introduced computational depth as a formal measure of the amount of computational history that is evident in an object's structure. In particular,...
VISUALIZATION
1994
IEEE
15 years 2 months ago
1994
IEEE
We will try to address the need for a formal foundation for visualization by taking an analytic approach to defining D. Since an arbitrary function D: U V will not produce display...