8874 search results - page 162 / 1775 » A New Implementation of Automath |
117
click to vote
CPM
2006
Springer
15 years 7 months ago
2006
Springer
Many algorithms for motif finding that are commonly used in bioinformatics start by sampling r potential motif occurrences from n input sequences. The motif is derived from these s...
106
click to vote
ANSS
2001
IEEE
15 years 7 months ago
2001
IEEE
Different switching techniques have been proposed to design optical switch architectures. Wave Division Multiplexing (WDM) techniques were extensively investigated to implement sw...
116
click to vote
ANSS
2001
IEEE
15 years 7 months ago
2001
IEEE
In this work, we study the different buffering techniques used in the literature to solve the contention problem in A TM switching architectures. The objective of our study is to ...
139
click to vote
TES
2000
Springer
15 years 7 months ago
2000
Springer
XML is rapidly becoming one of the most widely adopted technologies for information exchange and representation. As the use of XML becomes more widespread, we foresee the developme...
142
click to vote
CRYPTO
2006
Springer
15 years 6 months ago
2006
Springer
HMAC was proved in [3] to be a PRF assuming that (1) the underlying compression function is a PRF, and (2) the iterated hash function is weakly collision-resistant. However, recent...