1638 search results - page 225 / 328 » Properties of input-consuming derivations |
190
click to vote
ICML
1996
IEEE
16 years 7 months ago
1996
IEEE
We introduce a method for learning Bayesian networks that handles the discretization of continuous variables as an integral part of the learning process. The main ingredient in th...
228
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
159
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
167
click to vote
STOC
2003
ACM
16 years 6 months ago
2003
ACM
Random regular graphs play a central role in combinatorics and theoretical computer science. In this paper, we analyze a simple algorithm introduced by Steger and Wormald [10] and...
196
click to vote
DCC
2007
IEEE
16 years 6 months ago
2007
IEEE
A general method for deriving an identity-based public key cryptosystem from a one-way function is described. We construct both ID-based signature schemes and ID-based encryption ...