17018 search results - page 260 / 3404 » From the How to the What |
169
click to vote
JSYML
2010
15 years 5 months ago
2010
By taking a closer look at the construction of an Ackermann function we see that between any primitive recursive degree and its Ackermann modification there is a dense chain of p...
251
click to vote
ESOP
2004
Springer
16 years 2 days ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
150
click to vote
SEMWEB
2004
Springer
16 years 1 days ago
2004
Springer
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
154
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We study the computational power of a distributed system consisting of simple autonomous robots moving on the plane. The robots are endowed with visual perception but do not have ...
193
click to vote
CGA
2005
15 years 6 months ago
2005
visualization to abstract data sets like network intrusion detection, recommender systems, and database query results. Although display algorithms are a critical component in the v...