Sciweavers

284 search results - page 18 / 57
» Fusion with quantitative weights
Sort
View
DLT
2009
13 years 5 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
APLAS
2009
ACM
14 years 2 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
BMCBI
2010
96views more  BMCBI 2010»
13 years 7 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
HICSS
2007
IEEE
176views Biometrics» more  HICSS 2007»
14 years 1 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
CSR
2006
Springer
13 years 9 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