2555 search results - page 346 / 511 » Quantifiers and Working Memory |
109
click to vote
TCAD
2008
15 years 4 months ago
2008
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
100
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Neuromodulatory receptors in presynaptic position have the ability to suppress synaptic transmission for seconds to minutes when fully engaged. This effectively alters the synaptic...
162
click to vote
SAS
2010
Springer
15 years 2 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...
156
click to vote
GLOBECOM
2010
IEEE
15 years 2 months ago
2010
IEEE
When asymmetric cryptography techniques are used in wireless networks, the public keys of the nodes need to be widely available and signed by a Certificate Authority (CA). However,...
139
click to vote
ADC
2010
Springer
14 years 11 months ago
2010
Springer
Twig joins are key building blocks in current XML indexing systems, and numerous algorithms and useful data structures have been introduced. We give a structured, qualitative anal...