6456 search results - page 1098 / 1292 » Constraint Solving on Terms |
198
click to vote
LOPSTR
2005
Springer
15 years 12 months 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...
174
click to vote
VIZSEC
2005
Springer
15 years 12 months ago
2005
Springer
While efficient graph-based representations have been developed for modeling combinations of low-level network attacks, relatively little attention has been paid to effective tech...
156
click to vote
WG
2005
Springer
15 years 12 months ago
2005
Springer
We review the concepts of hypertree decomposition and hypertree width from a graph theoretical perspective and report on a number of recent results related to these concepts. We al...
187
click to vote
DEXA
2005
Springer
15 years 12 months ago
2005
Springer
In contrast to alpha-numerical data, multimedia data can have a wide range of quality parameters such as spatial and temporal resolution, and compression format. Users can request ...
152
click to vote
SIGECOM
2004
ACM
15 years 12 months ago
2004
ACM
The revelation principle is a cornerstone tool in mechanism design. It states that one can restrict attention, without loss in the designer’s objective, to mechanisms in which A...