Sciweavers

284 search results - page 18 / 57
» Fusion with quantitative weights
Sort
View
127
Voted
DLT
2009
15 years 1 months ago
Weighted versus Probabilistic Logics
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
Benedikt Bollig, Paul Gastin
125
Voted
APLAS
2009
ACM
15 years 10 months ago
A Short Cut to Optimal Sequences
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
Akimasa Morihata
123
Voted
BMCBI
2010
96views more  BMCBI 2010»
15 years 3 months ago
QTLminer: identifying genes regulating quantitative traits
Background: Quantitative trait locus (QTL) mapping identifies genomic regions that likely contain genes regulating a quantitative trait. However, QTL regions may encompass tens to...
Rudi Alberts, Klaus Schughart
127
Voted
HICSS
2007
IEEE
176views Biometrics» more  HICSS 2007»
15 years 10 months ago
Mining Fuzzy Weighted Association Rules
The paper combines and extends the technologies of fuzzy sets and association rules, considering users’ differential emphasis on each attribute through fuzzy regions. A fuzzy da...
David L. Olson, Yanhong Li
118
Voted
CSR
2006
Springer
15 years 5 months ago
Weighted Logics for Traces
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
Ingmar Meinecke