400 search results - page 23 / 80 » Derandomization and Distinguishing Complexity |
109
click to vote
LOGCOM
2002
15 years 1 months ago
2002
This paper defines and examines model checking games for the branching time temporal logic CTL . The games employ a technique called focus which enriches sets by picking out one d...
AES
2004
Springer
15 years 7 months ago
2004
Springer
Rijndael is the new Advanced Encryption Standard designed by V. Rijmen and J. Daemen and chosen as AES by the NIST in October 2000. Surprisingly, the number of cryptanalyses agains...
137
click to vote
SSDBM
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we present a query system that has been implemented in a practical biological database - GPCRDB. Distinguishing features of this system include: smart query relaxat...
92
Voted
ACL
2004
15 years 3 months ago
2004
This paper describes an empirical study of the "Information Synthesis" task, defined as the process of (given a complex information need) extracting, organizing and inte...
WOA
2001
15 years 3 months ago
2001
In this paper, we identify and analyze a set of issues that are more and more influencing the characteristics of today's complex software systems, and that distinguish them f...