14649 search results - page 247 / 2930 » Principles of problem solving |
175
click to vote
TLCA
2005
Springer
16 years 1 days ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
164
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how principles of separation of Coordination from Computation can be used to endow the Problem Frames approach to problem analysis with representation schemes. Th...
171
click to vote
IPCO
2007
15 years 8 months ago
2007
According to the present state of the theory of the matroid matching problem, the existence of a good characterization to the size of a maximum matching depends on the behavior of ...
169
click to vote
PARA
1994
Springer
15 years 10 months ago
1994
Springer
A model describing the full quantum mechanical three body problem of the hydrogen molecular ion is presented, and some of the numerical results are subsequently discussed. The ove...
124
click to vote
APAL
2005
15 years 6 months ago
2005
We study the minimal enumeration degree (e-degree) problem in models of fragments of Peano arithmetic (PA) and prove the following results: In any model M of 2 induction, there is ...