2035 search results - page 127 / 407 » On the complexity of stratified logics |
168
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
- A gate level probabilistic error propagation model is presented which takes as input the Boolean function of the gate, the signal and error probabilities of the gate inputs, and ...
168
click to vote
EEMMAS
2007
Springer
16 years 16 days ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
162
click to vote
KBSE
2006
IEEE
16 years 11 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
184
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
159
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...