1416 search results - page 30 / 284 » An Exact Interpretation of While |
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
ML
2008
ACM
13 years 8 months ago
2008
ACM
Abstract. We consider a large volume principle for transductive learning that prioritizes the transductive equivalence classes according to the volume they occupy in hypothesis spa...
AAECC
1998
Springer
13 years 8 months ago
1998
Springer
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
IJCAI
2007
13 years 10 months ago
2007
In machine translation, document alignment refers to finding correspondences between documents which are exact translations of each other. We define pseudo-alignment as the task...
ECCV
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. The deformation of applicable surfaces such as sheets of paper satisfies the differential geometric constraints of isometry (lengths and areas are conserved) and vanishin...