3994 search results - page 178 / 799 » A Linear Logical Framework |
192
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
176
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
162
click to vote
COLT
2007
Springer
16 years 21 days ago
2007
Springer
We present a framework for margin based active learning of linear separators. We instantiate it for a few important cases, some of which have been previously considered in the lite...
187
click to vote
VTS
2005
IEEE
16 years 3 days ago
2005
IEEE
— A closed-form model for simulation and analysis of voltage transients caused by single-event upsets (SEUs) in logic circuits is described. A linear RC model, derived using a SP...
170
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...