Sciweavers

2912 search results - page 114 / 583
» Logistic Model Trees
Sort
View
DAC
2004
ACM
15 years 7 months ago
Quadratic placement using an improved timing model
The performance of timing-driven placement methods depends strongly on the choice of the net model. In this paper a more precise net model is presented that does not increase nume...
Bernd Obermeier, Frank M. Johannes
150
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 8 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
144
Voted
GCB
2000
Springer
137views Biometrics» more  GCB 2000»
15 years 7 months ago
Detecting Sporadic Recombination in DNA Alignments with Hidden Markov Models
Conventional phylogenetic tree estimation methods assume that all sites in a DNA multiple alignment have the same evolutionary history. This assumption is violated in data sets fro...
Dirk Husmeier, Frank Wright
JOLLI
2008
83views more  JOLLI 2008»
15 years 3 months ago
Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
Hans-Jörg Tiede
119
Voted
ICPR
2010
IEEE
15 years 1 months ago
A Novel Approach to Detect Ship-Radiated Signal Based on HMT
In the presence of non-gaussian noise, we propose a method for the detection of underwater shipradiated signal. The wavelet decomposition of the underwater signal yields a natural...
Yue Zhou, Zhibin Niu, Chenghao Wang