16430 search results - page 2680 / 3286 » On Computable Tree Functions |
242
click to vote
PE
2000
Springer
15 years 7 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
188
click to vote
CGA
1998
15 years 7 months ago
1998
This paper describes methods and data structures used to leverage motion sequences of complex linked figures. We present a technique for interpolating between example motions der...
173
click to vote
CMOT
1998
15 years 7 months ago
1998
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
277
click to vote
CLUSTER
1999
IEEE
15 years 6 months ago
1999
IEEE
To secure interactive multimedia applications in wireless LANs WLANs it is pertinent to implement real time cryptographic services. In this paper we evaluate the use of software b...
198
click to vote
CLUSTER
1999
IEEE
15 years 6 months ago
1999
IEEE
Three protocols for gossip-based failure detection services in large-scale heterogeneous clusters are analyzed and compared. The basic gossip protocol provides a means by which fai...