1581 search results - page 8 / 317 » Mechanizing Inductive Reasoning |
103
Voted
ICML
2010
IEEE
15 years 22 days ago
2010
IEEE
Multiagent Inductive Learning is the problem that groups of agents face when they want to perform inductive learning, but the data of interest is distributed among them. This pape...
115
click to vote
FMCAD
2008
Springer
15 years 1 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
97
Voted
HPCA
2008
IEEE
16 years 1 days ago
2008
IEEE
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. Noise-...
TACS
1991
Springer
15 years 3 months ago
1991
Springer
108
click to vote
CADE
2010
Springer
15 years 24 days ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...