1581 search results - page 59 / 317 » Mechanizing Inductive Reasoning |
180
click to vote
TMC
2012
13 years 7 months ago
2012
—Characterizing the performance of ad hoc networks is one of the most intricate open challenges; conventional ideas based on information-theoretic techniques and inequalities hav...
148
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
133
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
Epidemic protocols such as gossip have proven to have many desirable properties for information sharing. However, trust is one of the issues that is yet to be examined with respec...
123
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Agents may choose to ignore contract violations if the costs of enforcing the contract exceed the compensation they would receive. In this paper we provide an argumentati...
179
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...