Sciweavers

2286 search results - page 437 / 458
» The Combination and Evaluation of Query Performance Predicti...
Sort
View
171
Voted
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 3 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
KDD
2003
ACM
161views Data Mining» more  KDD 2003»
16 years 5 months ago
Empirical Bayesian data mining for discovering patterns in post-marketing drug safety
Because of practical limits in characterizing the safety profiles of therapeutic products prior to marketing, manufacturers and regulatory agencies perform post-marketing surveill...
David M. Fram, June S. Almenoff, William DuMouchel
EMSOFT
2004
Springer
15 years 10 months ago
A metrics system for quantifying operational coupling in embedded computer control systems
One central issue in system structuring and quality prediction is the interdependencies of system modules. This paper proposes a novel technique for determining the operational co...
De-Jiu Chen, Martin Törngren
SDM
2007
SIAM
177views Data Mining» more  SDM 2007»
15 years 6 months ago
Multi-way Clustering on Relation Graphs
A number of real-world domains such as social networks and e-commerce involve heterogeneous data that describes relations between multiple classes of entities. Understanding the n...
Arindam Banerjee, Sugato Basu, Srujana Merugu
BMCBI
2010
150views more  BMCBI 2010»
15 years 5 months ago
Evolutionary rates at codon sites may be used to align sequences and infer protein domain function
Background: Sequence alignments form part of many investigations in molecular biology, including the determination of phylogenetic relationships, the prediction of protein structu...
Pierre M. Durand, Scott Hazelhurst, Theresa L. Coe...