3443 search results - page 56 / 689 » More Algebras for Determiners |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Perfect Space-Time Codes are optimal codes in their original construction for Multiple Input Multiple Output (MIMO) systems. Based on cyclic division algebras, they are full-rate,...
NDJFL
1998
13 years 7 months ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
ACMMPC
2000
Springer
14 years 12 days ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
AMDO
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents a method of interpolating between two or more general displacements (rotation and translation). The resulting interpolated path is smooth and possesses a number...
APAL
2006
13 years 8 months ago
2006
For a long time people have been trying to develop probability theory starting from `finite' events rather than collections of infinite events. In this way one can find natura...