7486 search results - page 335 / 1498 » The Limits of Quantum Computers |
184
click to vote
RECOMB
2002
Springer
16 years 7 months ago
2002
Springer
We introduce the notion of a multiprofile and use it for finding subtle motifs in DNA sequences. Multiprofiles generalize the notion of a profile and allow one to detect subtle co...
158
click to vote
ICFP
2004
ACM
16 years 6 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...
146
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
Boolean functions on the space Fm 2 are not only important in the theory of error-correcting codes, but also in cryptography. In these two cases, the nonlinearity of these functio...
157
click to vote
ICTAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In higher-order process calculi the values exchanged in communications may contain processes. There are only two capabilities for received processes: execution and forwar...
172
click to vote
IWCF
2009
Springer
16 years 1 months ago
2009
Springer
The Electric Network Frequency (ENF) Criterion is a recently developed forensic technique for determining the time of recording of digital audio recordings, by matching the ENF pat...