3591 search results - page 64 / 719 » Typing linear constraints |
CIE
2007
Springer
15 years 4 months ago
2007
Springer
Concerning the set of rooted binary trees, one shows that Higman’s Lemma and Dershowitz’s recursive path ordering can be used for the decision of its maximal order type accordi...
CSL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Girard’s Geometry of Interaction (GoI) develops a mathematical framework for modelling the dynamics of cut-elimination. We introduce a typed version of GoI, called Mult...
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
The motion of a planar surface between two camera views induces a homography. The homography depends on the cameraintrinsic and extrinsic parameters, as well as on the 3D plane pa...
CORR
2010
Springer
14 years 6 months ago
2010
Springer
One of the main problems in all-optical packet-switched networks is the lack of optical buffers, and one feasible technology for the constructions of optical buffers is to use opt...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
This paper presents a novel partial assignment technique (PAT) that decides which tasks should be assigned to the same resource without explicitly defining assignment of these tas...