12289 search results - page 849 / 2458 » computing 2006 |
185
click to vote
VLSID
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper we present a high-performance, high throughput, and area efficient architecture for the VLSI implementation of the AES algorithm. The subkeys, required for each round...
192
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses the problem of remote browsing of 3D scenes. Texture and geometry information are both available at server side in the form of scalably compressed images and ...
143
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
—The application of adaptive techniques for obtaining bispectrum estimates in additive Gaussian noise and random shifts of received signals is considered. An approach using joint...
168
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We give a semantic characterization of bounded complexity proofs. We introduce the notion of obsessional clique in the relational model of linear logic and show that restricting t...
192
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...