69 search results - page 8 / 14 » Corecursive Algebras: A Study of General Structured Corecurs... |
JC
2000
13 years 7 months ago
2000
We rst review thebasic properties of the well knownclasses of Toeplitz, Hankel, Vandermonde, and other related structured matrices and reexamine their correlation to operations wi...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
In this paper we investigate the geometry and algebra of multiple projections of lines with affine cameras. Previously, the case of seven lines in three images has been studied. I...
CALCO
2005
Springer
14 years 1 months ago
2005
Springer
This paper provides a general account of the notion of recursive program schemes, studying both uninterpreted and interpreted solutions. It can be regarded as the category-theoret...
AML
2006
13 years 7 months ago
2006
Lukasiewicz's infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Lukasiewicz algebra on the unit real interva...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
We propose a type system based on regular tree grammars, where algebraic datatypes are interpreted in a structural way. Thus, the same constructors can be reused for different typ...