2643 search results - page 252 / 529 » Higher order messaging |
251
click to vote
ESOP
2004
Springer
16 years 3 hour 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...
198
click to vote
CSCW
1998
ACM
15 years 11 months ago
1998
ACM
Usenet may be regarded as the world’s largest conversational application, with over 17,000 newsgroups and 3 million users. Despite its ubiquity and popularity, however, we know ...
160
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
Abstract. The asynchronous techniques that exist within the programming with distributed constraints are characterized by the occurrence of the nogood values during the search for ...
174
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper proposes a novel hypergraph skeletal representation for 3D shape based on a formal derivation of the generic structure of its medial axis. By classifying each skeletal ...
175
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, we present a novel approach to solving the supervised dimensionality reduction problem by encoding an image object as a general tensor of 2nd or higher order. First...