6020 search results - page 41 / 1204 » A New Approach to Model Counting |
108
Voted
CSB
2004
IEEE
15 years 5 months ago
2004
IEEE
The recognition of regulatory motifs of co-regulated genes is essential for understanding the regulatory mechanisms. However, the automatic extraction of regulatory motifs from a ...
119
click to vote
ECCV
2002
Springer
16 years 3 months ago
2002
Springer
Abstract. Quadrature filters are a well known method of low-level computer vision for estimating certain properties of the signal, as there are local amplitude and local phase. How...
107
click to vote
ACL
2010
14 years 12 months ago
2010
Automated summarization methods can be defined as "language-independent," if they are not based on any languagespecific knowledge. Such methods can be used for multiling...
120
click to vote
BMEI
2008
IEEE
15 years 8 months ago
2008
IEEE
Multiple sequence alignment is the most fundamental task in bioinformatics and computational biology. In this paper, we present a new algorithm to conduct multiple sequences align...
140
click to vote
ASIACRYPT
2004
Springer
15 years 7 months ago
2004
Springer
We investigate efficient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authentic...