Sciweavers

629 search results - page 15 / 126
» Parallelization Method for a Continuous Property
Sort
View
BMCBI
2008
145views more  BMCBI 2008»
14 years 9 months ago
The contrasting properties of conservation and correlated phylogeny in protein functional residue prediction
Background: Amino acids responsible for structure, core function or specificity may be inferred from multiple protein sequence alignments where a limited set of residue types are ...
Jonathan R. Manning, Emily R. Jefferson, Geoffrey ...
CSFW
2012
IEEE
13 years 2 days ago
Verifying Privacy-Type Properties in a Modular Way
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
Myrto Arapinis, Vincent Cheval, Stéphanie D...
60
Voted
CSDA
2006
98views more  CSDA 2006»
14 years 9 months ago
GS-distributions: A new family of distributions for continuous unimodal variables
The choice of the best-suited statistical distribution for modeling data is not a trivial issue. Unless a sound theoretical background exists for selecting a particular distributi...
J. M. Muiño, Eberhard O. Voit, Albert Sorri...
86
Voted
SIGMOD
2004
ACM
164views Database» more  SIGMOD 2004»
15 years 9 months ago
Dynamic Plan Migration for Continuous Queries Over Data Streams
Dynamic plan migration is concerned with the on-the-fly transition from one continuous query plan to a semantically equivalent yet more efficient plan. Migration is important for ...
Yali Zhu, Elke A. Rundensteiner, George T. Heinema...
107
Voted
EDBTW
2006
Springer
15 years 1 months ago
Dynamic Plan Migration for Snapshot-Equivalent Continuous Queries in Data Stream Systems
A data stream management system executes a large number of continuous queries in parallel. As stream characteristics and query workload change over time, the plan initially install...
Jürgen Krämer, Yin Yang, Michael Cammert...