3690 search results - page 420 / 738 » Computation with classical sequents |
134
click to vote
STACS
2005
Springer
16 years 8 days ago
2005
Springer
ded abstract of this article is published in the proceedings of STACS’05, LNCS 3404, Springer Verlag. A relational structure is a core, if all its endomorphisms are embeddings. T...
184
click to vote
TCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
193
click to vote
ICA3PP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this paper, we evaluate message-passing applications in Grid environments using domain decomposition technique. We compare two domain decomposition strategies: a balan...
195
click to vote
SAC
2004
ACM
16 years 6 days ago
2004
ACM
Extracting object boundaries in thermal images is a challenging task because of the amorphous nature of the images and the lack of sharp boundaries. Classical edge-based segmentat...
186
click to vote
SCVMA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper presents and investigates a set of local spacetime descriptors for representing and recognizing motion patterns in video. Following the idea of local features ...