7200 search results - page 94 / 1440 » On the Computational Power of Winner-Take-All |
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper proposes a pioneering Battery-Sensing Intrusion Protection System (B-SIPS) for mobile computers, which alerts on power changes detected on small wireless devices, using...
HPCA
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper provides a background and rationale for some of the architecture and design decisions in the Cell processor, a processor optimized for compute-intensive and broadband r...
FOCS
1997
IEEE
14 years 2 months ago
1997
IEEE
In this paper, we introduce 1-way and 2-way quantum nite state automata (1qfa's and 2qfa's), which are the quantum analogues of deterministic, nondeterministic and proba...
CF
2005
ACM
13 years 12 months ago
2005
ACM
MFCS
2010
Springer
13 years 8 months ago
2010
Springer
We provide a strong normalization result for MLF , a type system generalizing ML with first-class polymorphism as in system F. The proof is achieved by translating MLF into a calc...