1670 search results - page 79 / 334 » On Skolemization in constructive theories |
145
click to vote
EJC
2010
15 years 6 months ago
2010
We use group theory to construct infinite families of maps on surfaces which are invariant under Wilson's map operations of order 3 but not under the operations of order 2, s...
177
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we propose a conceptual model of virtual organizations as normative multiagent systems. The dynamic aspects of virtual organizations are modeled using aspects of spe...
297
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Krawtchouk polynomials appear in a variety of contexts, most notably as orthogonal polynomials and in coding theory via the Krawtchouk transform. We present an operator calculus fo...
165
click to vote
EUROCAST
1997
Springer
15 years 10 months ago
1997
Springer
We show how to use recursive function theory to prove Turing universality of finite analog recurrent neural nets, with a piecewise linear sigmoid function as activation function. W...
156
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...