837 search results - page 88 / 168 » Proof Development with OMEGA |
119
Voted
ICFP
2003
ACM
16 years 19 days ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
77
Voted
DCC
2004
IEEE
16 years 8 days ago
2004
IEEE
An important question in the construction of orthogonal arrays is what the minimal size of an array is when all other parameters are fixed. In this paper, we will provide a genera...
122
click to vote
ALT
2004
Springer
15 years 9 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
81
Voted
TEI
2010
ACM
15 years 7 months ago
2010
ACM
A human-powered user interface device sources its power from the physical effort required to operate it. This paper describes a technique by which a geared DC motor and a simple c...
97
Voted
WOSP
2010
ACM
15 years 7 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...