12194 search results - page 94 / 2439 » cans 2010 |
FUIN
2010
13 years 7 months ago
2010
An infinite binary word can be identified with a branch in the full binary tree. We consider sets of branches definable in monadic second-order logic over the tree, where we allow ...
IANDC
2010
13 years 7 months ago
2010
The Curry-Howard correspondence connects derivations in natural deduction with the lambdacalculus. Predicates are types, derivations are terms. This supports reasoning from assump...
IJBIS
2010
13 years 7 months ago
2010
This paper considers conceptual and contextual issues relating to the problem of developing systems models capable of representing knowable and unknowable information requirements...
IMCSIT
2010
13 years 7 months ago
2010
The aim of this paper is to show that a special kind of boundary value problem for second-order ordinary differential equations which reduces to the problem of solving a tridiagona...
IMCSIT
2010
13 years 7 months ago
2010
In this paper, we propose the use of the pairwise comparisons (PC) method for selection of strategies for software certification. This method can also be used to rank alternative s...