10891 search results - page 119 / 2179 » Combining Model Reductions |
104
click to vote
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper is concerned with approximate delay computation algorithms for combinational circuits. As a result of intensive research in the early 90’s [3, 8] efficient tools exi...
113
click to vote
ESANN
2008
15 years 4 months ago
2008
This paper presents a new approach for time series prediction using local dynamic modeling. The proposed method is composed of three blocks: a Time Delay Line that transforms the o...
123
click to vote
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
148
click to vote
PKDD
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. A new method is proposed for compiling causal independencies into Markov logic networks (MLNs). An MLN can be viewed as compactly representing a factorization of a joint ...
129
click to vote
JMLR
2010
14 years 10 months ago
2010
We present an algorithm to infer causal relations between a set of measured variables on the basis of experiments on these variables. The algorithm assumes that the causal relatio...