3443 search results - page 12 / 689 » More Algebras for Determiners |
MOC
2000
13 years 7 months ago
2000
Let K be a totally real algebraic number field and O an order in a quaternion algebra A over K. Assume that the group O1 of units in O with reduced norm equal to 1 is embedded into...
SAJ
2000
13 years 7 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
CCS
2010
ACM
13 years 8 months ago
2010
ACM
We construct an algebraic pseudorandom function (PRF) that is more efficient than the classic NaorReingold algebraic PRF. Our PRF is the result of adapting the cascade constructio...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...
IJCNN
2008
IEEE
14 years 2 months ago
2008
IEEE
—Traditional connectionist classification models place an emphasis on learned synaptic weights. Based on neurobiological evidence, a new approach is developed and experimentally ...