Sciweavers

4762 search results - page 229 / 953
» About the use of protein models
Sort
View
ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
15 years 11 months ago
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
Benedikt Bollig, Martin Leucker
EUSFLAT
2003
117views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
On a modeling of decision making with a twofold integral
A Sugeno and a Choquet integrals are commonly used fuzzy integrals for aggregation. As a generalization of both integrals, the twofold integral is induced. The twofold integral en...
Hideyuki Imai, Vicenç Torra
ICMCS
2005
IEEE
105views Multimedia» more  ICMCS 2005»
16 years 4 days ago
Speech-Based Visual Concept Learning Using Wordnet
Modeling visual concepts using supervised or unsupervised machine learning approaches are becoming increasing important for video semantic indexing, retrieval, and filtering appli...
Xiaodan Song, Ching-Yung Lin, Ming-Ting Sun
QEST
2009
IEEE
16 years 1 months ago
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
Husain Aljazzar, Manuel Fischer, Lars Grunske, Mat...
ICCS
2004
Springer
15 years 12 months ago
Using Runtime Measurements and Historical Traces for Acquiring Knowledge in Parallel Applications
Abstract. A new approach for acquiring knowledge of parallel applications regarding resource usage and for searching similarity on workload traces is presented. The main goal is to...
Luciano José Senger, Marcos José San...