738 search results - page 86 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
SCN
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Lattice reduction is known to be a very powerful tool in modern cryptanalysis. In the literature, there are many lattice reduction algorithms that have been proposed with...
EL
2008
14 years 9 months ago
2008
Research paper Purpose of this paper This paper describe an integrated hardware/software system based on Evolutionary Robotics and its application in Edutainment context. Design/me...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
We present Themail, a visualization that portrays relationships using the interaction histories preserved in email archives. Using the content of exchanged messages, it shows the ...
CHI
1997
ACM
15 years 2 months ago
1997
ACM
Hypertext interfaces are considered appropriate for information exploration tasks. The prohibitively expensive link creation effort, however, prevents traditional hypertext interf...
CF
2008
ACM
14 years 11 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...