3122 search results - page 85 / 625 » A Theory of Network Equivalence |
167
click to vote
IWANN
1999
Springer
15 years 10 months ago
1999
Springer
Recently, a real-time clustering microchip based on the ART1 algorithm has been reported. That chip was able to classify 100-bit input patterns into up to 18 categories. However, i...
146
click to vote
HICSS
2008
IEEE
16 years 19 days ago
2008
IEEE
Research has shown that decentralized networks and organizations perform better and have more satisfied members than centralized ones. Further, decentralized self-organizing netwo...
148
click to vote
CRYPTO
2009
Springer
16 years 23 days ago
2009
Springer
We prove the equivalence, up to a small polynomial approximation factor n/ log n, of the lattice problems uSVP (unique Shortest Vector Problem), BDD (Bounded Distance Decoding) and...
156
click to vote
PPDP
2009
Springer
16 years 22 days ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reï...
184
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...