13603 search results - page 2700 / 2721 » On the Computational Complexity of Cut-Reduction |
IFL
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
LOPSTR
2005
Springer
14 years 27 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
OTM
2005
Springer
14 years 27 days ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
POLICY
2005
Springer
14 years 27 days ago
2005
Springer
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration...
SPIRE
2005
Springer
14 years 26 days ago
2005
Springer
Retrieval systems rank documents according to their retrieval status values (RSV) if these are monotonously increasing with the probability of relevance of documents. In this work,...