Sciweavers

571 search results - page 96 / 115
» New Event-Processing Design Patterns Using CEP
Sort
View
DSN
2007
IEEE
15 years 8 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
SPEECH
2010
225views more  SPEECH 2010»
15 years 2 months ago
Automatic recognition of regional phonological variation in conversational interaction
One key aspect of face-to-face communication concerns the differences that may exist between speakers’ native regional accents. This paper focuses on the characterization of re...
Vincent Aubanel, Noël Nguyen
KDD
2006
ACM
191views Data Mining» more  KDD 2006»
16 years 4 months ago
Beyond classification and ranking: constrained optimization of the ROI
Classification has been commonly used in many data mining projects in the financial service industry. For instance, to predict collectability of accounts receivable, a binary clas...
Lian Yan, Patrick Baldasare
PLDI
2010
ACM
16 years 1 months ago
A Context-free Markup Language for Semi-structured Text
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
Qian Xi, David Walker
BMCBI
2010
118views more  BMCBI 2010»
15 years 4 months ago
svdPPCS: an effective singular value decomposition-based method for conserved and divergent co-expression gene module identifica
Background: Comparative analysis of gene expression profiling of multiple biological categories, such as different species of organisms or different kinds of tissue, promises to e...
Wensheng Zhang, Andrea Edwards, Wei Fan, Dongxiao ...