14298 search results - page 2566 / 2860 » Dynamic Languages and Applications |
165
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
While data compression and Kolmogorov complexity are both about effective coding of words, the two settings differ in the following respect. A compression algorithm or compressor...
160
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
156
click to vote
IFIP
2007
Springer
16 years 24 days ago
2007
Springer
Effective methods for metrics definition are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how ...
195
click to vote
LPNMR
2007
Springer
16 years 24 days ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
191
click to vote
MIDDLEWARE
2007
Springer
16 years 24 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...