Sciweavers

627 search results - page 62 / 126
» The Laplace-Jaynes approach to induction
Sort
View
76
Voted
ISPD
1998
ACM
86views Hardware» more  ISPD 1998»
15 years 3 months ago
Calculation of ramp response of lossy transmission lines using two-port network functions
In this paper, we present a new analytical approach for computing the ramp response of an RLC interconnect line with a pure capacitive load. The approach is based on the two-port ...
Payam Heydari, Massoud Pedram
80
Voted
IJFCS
2008
81views more  IJFCS 2008»
14 years 11 months ago
Reachability Analysis in Verification via Supercompilation
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
Alexei Lisitsa, Andrei P. Nemytykh
98
Voted
ECSQARU
1999
Springer
15 years 3 months ago
A Critique of Inductive Causation
: In this paper we consider the problem of inducing causal relations from statistical data. Although it is well known that a correlation does not justify the claim of a causal rela...
Christian Borgelt, Rudolf Kruse
CINQ
2004
Springer
133views Database» more  CINQ 2004»
15 years 2 months ago
Inductive Querying for Discovering Subgroups and Clusters
We introduce the problem of cluster-grouping and show that it integrates several important data mining tasks, i.e. subgroup discovery, mining correlated patterns and aspects from c...
Albrecht Zimmermann, Luc De Raedt
86
Voted
ILP
2000
Springer
15 years 2 months ago
Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
Floriana Esposito, Donato Malerba, Francesca A. Li...