Sciweavers

2119 search results - page 115 / 424
» Structure-Preserving Model Reduction
Sort
View
CAV
2003
Springer
154views Hardware» more  CAV 2003»
15 years 8 months ago
Structural Symbolic CTL Model Checking of Asynchronous Systems
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
Gianfranco Ciardo, Radu Siminiceanu
DAC
1999
ACM
15 years 7 months ago
IC Analyses Including Extracted Inductance Models
IC inductance extraction generally produces either port inductances based on simplified current path assumptions or a complete partial inductance matrix. Combining either of thes...
Michael W. Beattie, Lawrence T. Pileggi
ESANN
2004
15 years 4 months ago
Regularizing generalization error estimators: a novel approach to robust model selection
Abstract. A well-known result by Stein shows that regularized estimators with small bias often yield better estimates than unbiased estimators. In this paper, we adapt this spirit ...
Masashi Sugiyama, Motoaki Kawanabe, Klaus-Robert M...
ACL
2012
13 years 5 months ago
Reducing Wrong Labels in Distant Supervision for Relation Extraction
In relation extraction, distant supervision seeks to extract relations between entities from text by using a knowledge base, such as Freebase, as a source of supervision. When a s...
Shingo Takamatsu, Issei Sato, Hiroshi Nakagawa
ICASSP
2008
IEEE
15 years 9 months ago
Approximation and resampling of tapped delay line channel models with guaranteed channel properties
In this paper, we present a novel framework for resampling and complexity reduction of tapped delay line channel models. In contrast to related algorithms in this field, our fram...
Christian Mehlführer, Markus Rupp