7943 search results - page 1253 / 1589 » A calculus for costed computations |
139
click to vote
IMC
2003
ACM
16 years 1 days ago
2003
ACM
In network performance tomography, characteristics of the network interior are inferred by correlating end-to-end measurements. In much previous work, the presence of correlations...
182
click to vote
ASIACRYPT
2003
Springer
16 years 19 hour ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
210
click to vote
ASP
2003
Springer
16 years 19 hour ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
172
click to vote
CMMR
2003
Springer
16 years 15 hour ago
2003
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the fi...
167
click to vote
DIGRA
2003
Springer
16 years 11 hour ago
2003
Springer
This paper explores the use of digital games for marketing communications using two theoretical perspectives. Firstly, the external contexts in which video game play takes place a...