15792 search results - page 2782 / 3159 » Computational Abstraction Steps |
223
click to vote
ASIACRYPT
2000
Springer
16 years 10 hour ago
2000
Springer
Abstract. There have been many proposals in recent years for passwordauthenticated key exchange protocols. Many of these have been shown to be insecure, and the only ones that seem...
191
click to vote
CAV
2000
Springer
16 years 8 hour ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
190
click to vote
CP
2000
Springer
16 years 5 hour ago
2000
Springer
Abstract. This paper presents an experimental investigation of the following questions: how does the averagecase complexity of random 3-SAT, understood as a function of the order (...
262
click to vote
DAWAK
2000
Springer
16 years 4 hour ago
2000
Springer
Abstract. Feature Extraction, also known as Multidimensional Scaling, is a basic primitive associated with indexing, clustering, nearest neighbor searching and visualization. We co...
185
click to vote
DASFAA
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract. Visibility query is fundamental to many analysis and decisionmaking tasks in virtual environments. Visibility computation is time complex and the complexity escalates in ...