7200 search results - page 1321 / 1440 » On the Computational Power of Winner-Take-All |
STACS
2001
Springer
14 years 1 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
ISCA
2000
IEEE
14 years 1 months ago
2000
IEEE
Reconfigurable hardware has the potential for significant performance improvements by providing support for applicationāspecific operations. We report our experience with Chimae...
ISORC
2000
IEEE
14 years 1 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
PG
2000
IEEE
14 years 1 months ago
2000
IEEE
PDE surfaces, whose behavior is governed by Partial Differential Equations (PDEs), have demonstrated many modeling advantages in surface blending, free-form surface modeling, and ...