1017 search results - page 144 / 204 » A General Model for Authenticated Data Structures |
168
click to vote
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
169
click to vote
FOIS
2008
15 years 7 months ago
2008
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
137
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
We examine the robustness of critical infrastructure networks in the face of terrorist attack, using a simulation experiment that incorporates link capacity; and an extension of d...
218
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
147
click to vote
ISMIR
2001
Springer
15 years 10 months ago
2001
Springer
The focus of this paper is on the design and use of a music score representation. The structure of the representation is discussed and illustrated with sample algorithms, includin...