40 search results - page 7 / 8 » Developing the Algebraic Hierarchy with Type Classes in Coq |
OTM
2005
Springer
13 years 11 months ago
2005
Springer
Annotation with security-related metadata enables discovery of resources that meet security requirements. This paper presents the NRL Security Ontology, which complements existing ...
ADAEUROPE
2000
Springer
13 years 10 months ago
2000
Springer
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
ISMIS
1997
Springer
13 years 10 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
VLDB
2002
ACM
13 years 5 months ago
2002
ACM
Structurally recursive XML queries are an important query class that follows the structure of XML data. At present, it is difficult for XQuery to type and optimize structurally re...
IPPS
2003
IEEE
13 years 11 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...