Sciweavers

4965 search results - page 280 / 993
» A Simple Abstraction for Data Modeling
Sort
View
ICFEM
2007
Springer
16 years 24 days ago
Model Checking with SAT-Based Characterization of ACTL Formulas
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
Wenhui Zhang
ICANN
2003
Springer
15 years 12 months ago
Self-Organizing Operator Maps in Complex System Analysis
Abstract. The growth in amount of data available today has encouraged the development of effective data analysis methods to support human decision-making. Neuro-fuzzy computation ...
Pasi Lehtimäki, Kimmo Raivio, Olli Simula
ICDM
2006
IEEE
131views Data Mining» more  ICDM 2006»
16 years 21 days ago
Transforming Semi-Honest Protocols to Ensure Accountability
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. This is especially important in the field of privacy...
Wei Jiang, Chris Clifton
BMCBI
2010
124views more  BMCBI 2010»
15 years 6 months ago
A factor model to analyze heterogeneity in gene expression
Background: Microarray technology allows the simultaneous analysis of thousands of genes within a single experiment. Significance analyses of transcriptomic data ignore the gene d...
Yuna Blum, Guillaume Le Mignon, Sandrine Lagarrigu...
BTW
2007
Springer
142views Database» more  BTW 2007»
16 years 25 days ago
Visually Exploring and Querying XML with BaseX
Abstract: XML documents are widely used as a generic container for textual contents. As they are increasingly growing in size, XML databases have come up to efficiently store and q...
Christian Grün, Alexander Holupirek, Marc H. ...