884 search results - page 143 / 177 » The Linear Logic of Multisets |
131
Voted
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...
134
Voted
ICANN
2009
Springer
15 years 8 months ago
2009
Springer
Neural networks and other sophisticated machine learning algorithms frequently miss simple solutions that can be discovered by a more constrained learning methods. Transition from ...
170
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
123
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
We study the confluence of Ehrhard and Regnier's differential nets with exponential promotion, in a pure setting. Confluence fails with promotion and codereliction in absence ...
127
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Noise affects circuit operation by increasing gate delays and causing latches to capture incorrect values. Noise analysis techniques can detect some of such noise faults, but accu...