1581 search results - page 43 / 317 » Mechanizing Inductive Reasoning |
123
click to vote
KR
2004
Springer
15 years 8 months ago
2004
Springer
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...
119
Voted
JCS
2010
15 years 29 days ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
134
Voted
ICTAC
2010
Springer
15 years 14 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
108
Voted
ICCAD
2001
IEEE
15 years 11 months ago
2001
IEEE
A mixed potential integral equation (MPIE) technique combined with fast multi-layer Green’s functions and Gaussian Jacobi high order techniques is used to compute the 3-D freque...
125
Voted
MLDM
2009
Springer
15 years 9 months ago
2009
Springer
In a world where massive amounts of data are recorded on a large scale we need data mining technologies to gain knowledge from the data in a reasonable time. The Top Down Induction...