4035 search results - page 476 / 807 » Useless Actions Are Useful |
193
click to vote
ESOP
2005
Springer
16 years 1 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
195
click to vote
FSTTCS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
188
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
178
click to vote
IWDW
2005
Springer
16 years 1 months ago
2005
Springer
Digital watermarking studies have always been driven by the improvement of robustness. Most of articles of this field deal with this criterion, presenting more and more impressive...
215
click to vote
MIRRORBOT
2005
Springer
16 years 1 months ago
2005
Springer
We have implemented a neurobiologically plausible system on a robot that integrates visual attention, object recognition, language and action processing using a coherent cortex-lik...