1385 search results - page 221 / 277 » Natural Rewriting for General Term Rewriting Systems |
219
click to vote
SAS
1992
Springer
15 years 10 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
185
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Capacitated Caching (CC) Games are motivated by P2P and web caching applications, and involve nodes on a network making strategic choices regarding the content to replicate in the...
220
click to vote
DIM
2006
ACM
16 years 10 days ago
2006
ACM
An emerging approach to the problem of reducing the identity theft is represented by the adoption of biometric authentication systems. Such systems however present however several...
173
click to vote
DNA
2004
Springer
15 years 11 months ago
2004
Springer
DNA self-assembly is emerging as a key paradigm for nano-technology, nano-computation, and several related disciplines. In nature, DNA self-assembly is often equipped with explicit...
304
click to vote
IPM
2007
15 years 6 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...