627 search results - page 1 / 126 » The Laplace-Jaynes approach to induction |
CORR
2007
Springer
13 years 10 months ago
2007
Springer
TVLSI
2002
13 years 10 months ago
2002
The goal of this work was to simulate the effect of the finite conductivity of semiconductor substrates on the on-chip coupling inductance and then to investigate the effect of the...
KR
2004
Springer
14 years 4 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
SAS
2007
Springer
14 years 5 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
GLVLSI
2003
IEEE
14 years 4 months ago
2003
IEEE
Modeling on-chip inductive effects for interconnects of multigigahertz microprocessors remains challenging. SPICE simulation of these effects is very slow because of the large num...