Sciweavers

2016 search results - page 210 / 404
» Megamaps: Construction and Examples
Sort
View
CLIMA
2011
14 years 6 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
MMM
2012
Springer
294views Multimedia» more  MMM 2012»
14 years 2 months ago
Improving Cluster Selection and Event Modeling in Unsupervised Mining for Automatic Audiovisual Video Structuring
Abstract. Can we discover audio-visually consistent events from videos in a totally unsupervised manner? And, how to mine videos with different genres? In this paper we present our...
Anh-Phuong Ta, Mathieu Ben, Guillaume Gravier
SPW
2004
Springer
15 years 12 months ago
The Dancing Bear: A New Way of Composing Ciphers
This note presents a new way of composing cryptographic primitives which makes some novel combinations possible. For example, one can do threshold decryption using standard block c...
Ross Anderson
KDD
2007
ACM
154views Data Mining» more  KDD 2007»
16 years 7 months ago
Canonicalization of database records using adaptive similarity measures
It is becoming increasingly common to construct databases from information automatically culled from many heterogeneous sources. For example, a research publication database can b...
Aron Culotta, Michael L. Wick, Robert Hall, Matthe...
134
Voted
ICPR
2006
IEEE
16 years 7 months ago
Component Analysis of Torah Code Phrases
In this paper, we develop a new tool, called Component Analysis (CA), to study the significance of long Torah Code phrases. CA quantifies the relevance of such a phrase, by compar...
Art Levitt