679 search results - page 73 / 136 » Algorithmic modifications to SPIHT |
115
click to vote
POPL
1996
ACM
15 years 7 months ago
1996
ACM
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
136
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
132
click to vote
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
We consider a slotted input-queued switch with a crossbar-like switching fabric. In each time-slot, a centralized scheduler determines a switching fabric configuration to transfer ...
131
Voted
BIOADIT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Long Short-Term Memory (LSTM) recurrent neural networks (RNNs) are local in space and time and closely related to a biological model of memory in the prefrontal cortex. N...
102
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Hybrid architectures have been developed to preserve the responsiveness of reactive layers while also providing the benefits of higher level deliberative capabilities. The challen...