2290 search results - page 255 / 458 » Extensible Protected Types |
194
click to vote
TCS
2008
15 years 6 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
166
click to vote
JALC
2007
15 years 6 months ago
2007
Merging states in finite automata is a main method of reducing the size of the representation of regular languages. The process has been extensively studied for deterministic fi...
178
click to vote
JVCA
2007
15 years 6 months ago
2007
In this paper a new and original technique to animate a crowd of human beings is presented. Following the success of data-driven animation models (such as motion capture) in the c...
154
click to vote
JIIS
2000
15 years 6 months ago
2000
Knowledge discovery from data sets can be extensively automated by using data mining software tools. Techniques for mining series of interval events, however, have not been conside...
183
click to vote
PVLDB
2008
15 years 6 months ago
2008
This paper introduces Clustera, an integrated computation and data management system. In contrast to traditional clustermanagement systems that target specific types of workloads,...