6020 search results - page 41 / 1204 » A New Approach to Model Counting |
155
click to vote
CSB
2004
IEEE
15 years 9 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 ...
171
click to vote
ECCV
2002
Springer
16 years 7 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...
153
click to vote
ACL
2010
15 years 4 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...
167
click to vote
BMEI
2008
IEEE
16 years 13 days 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...
186
click to vote
ASIACRYPT
2004
Springer
15 years 11 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...