959 search results - page 163 / 192 » Transfers between Logics and their Applications |
113
click to vote
ISSS
2002
IEEE
15 years 6 months ago
2002
IEEE
We introduce a new approach, “Dynamic Common Sub-expression Elimination (CSE)”, that dynamically eliminates common sub- expressions based on new opportunities created during s...
112
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
120
click to vote
PET
2010
Springer
15 years 5 months ago
2010
Springer
Combining and analyzing data collected at multiple locations is critical for a wide variety of applications, such as detecting and diagnosing malicious attacks or computing an acc...
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
Abstract Lattice reduction is a hard problem of interest to both publickey cryptography and cryptanalysis. Despite its importance, extremely few algorithms are known. The best algo...
124
click to vote
GRAPHICSINTERFACE
2007
15 years 3 months ago
2007
In this work, we propose and compare several methods for the visualization and exploration of time-varying volumetric medical images based on the temporal characteristics of the d...