1071 search results - page 139 / 215 » The Calculus of Algebraic Constructions |
146
click to vote
DCC
2003
IEEE
16 years 5 months ago
2003
IEEE
By Andr`e theory, it is well known how to algebraically convert a spread in a projective space to an equivalent spread (representing the same translation plane) in a projective sp...
173
click to vote
LSSC
2007
Springer
16 years 4 days ago
2007
Springer
A successive refinement of a finite element grid provides a sequence of nested grids and hierarchy of nested finite element spaces as well as a natural hierarchical decompositio...
142
click to vote
SWAT
2004
Springer
15 years 11 months ago
2004
Springer
For n disjoint line segments in the plane we can construct a binary encompassing tree such that every vertex is pointed, what’s more, at every segment endpoint all incident edges...
168
click to vote
CIE
2010
Springer
15 years 10 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
137
click to vote
ASPDAC
2000
ACM
15 years 10 months ago
2000
ACM
⎯ This paper presents our research results on power-clocked CMOS design. First we provide algebraic expressions and describe properties of clocked signals. Next two types of powe...