1581 search results - page 36 / 317 » Mechanizing Inductive Reasoning |
110
click to vote
ARESEC
2011
14 years 1 months ago
2011
—We formalise in a theorem prover the notion of provable anonymity proposed by Garcia et al. Our formalization relies on inductive definitions of message distinguish ability and...
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
There has been considerable debate as to the merits and the applicability of probabilistic or statistical reasoning to Semantic Web. Much of this debate seems to have centered on ...
TVLSI
2002
15 years 1 months ago
2002
We propose two practical approaches for on-chip inductance extraction to obtain a highly sparsified and accurate inverse inductance matrix K. Both approaches differ from previous ...
116
click to vote
ICCBR
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
125
click to vote
ILP
2005
Springer
15 years 7 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...