13603 search results - page 2618 / 2721 » On the computational complexity of bridgecard |
200
click to vote
LOPSTR
2005
Springer
16 years 1 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...
173
click to vote
OTM
2005
Springer
16 years 1 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...
175
click to vote
POLICY
2005
Springer
16 years 1 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...
153
click to vote
SPIRE
2005
Springer
16 years 21 hour 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,...
176
click to vote
TACAS
2005
Springer
16 years 20 hour ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...