1017 search results - page 138 / 204 » A General Model for Authenticated Data Structures |
122
Voted
HPDC
2007
IEEE
15 years 6 months ago
2007
IEEE
Grid applications often need to distribute large amounts of data efficiently from one cluster to multiple others (multicast). Existing methods usually arrange nodes in optimized t...
150
Voted
APN
1992
Springer
15 years 6 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
126
Voted
SDM
2009
SIAM
15 years 12 months ago
2009
SIAM
In this paper, we study efficient closed pattern mining in a general framework of set systems, which are families of subsets ordered by set-inclusion with a certain structure, pro...
123
Voted
ROMAN
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— This paper describes a novel algorithm for autonomous and incremental learning of motion pattern primitives by observation of human motion. Human motion patterns are ed...
128
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...