6274 search results - page 1196 / 1255 » From query complexity to computational complexity |
126
click to vote
CCS
2001
ACM
15 years 7 months ago
2001
ACM
We present a mathematical construct which provides a cryptographic protocol to verifiably shuffle a sequence of k modular integers, and discuss its application to secure, universa...
144
click to vote
VISUALIZATION
1995
IEEE
15 years 7 months ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...
152
Voted
CSCWD
2008
Springer
15 years 5 months ago
2008
Springer
This research explored a new direction of improving collaborative design by performance measurement. More specifically, a novel 3-dimensional performance measurement model is deve...
167
click to vote
DAC
2008
ACM
15 years 5 months ago
2008
ACM
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
160
click to vote
IJCAI
2003
15 years 5 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...