3690 search results - page 293 / 738 » Computation with classical sequents |
141
click to vote
CIE
2007
Springer
15 years 11 months ago
2007
Springer
In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we cons...
136
click to vote
CPAIOR
2007
Springer
15 years 11 months ago
2007
Springer
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can be very complex to express with mixed integer progra...
170
click to vote
ICCSA
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we address the problem of working paths optimization in survivable MPLS network. We focus on an existing facility network, in which only network flows can be optimize...
166
click to vote
SCIA
2007
Springer
15 years 11 months ago
2007
Springer
The problem of reconstructing 3D scene features from multiple views with known camera motion and given image correspondences is considered. This is a classical and one of the most...
149
click to vote
C5
2006
IEEE
15 years 11 months ago
2006
IEEE
1 Creating one’s own games has been the main motivation for many people to learn programming. But the barrier to learn a general purpose programming language is very high, espec...