Sciweavers

8486 search results - page 43 / 1698
» Ordered Enumeration Method
Sort
View
IFM
2009
Springer
15 years 9 months ago
Partial Order Reduction for State/Event LTL
Nikola Benes, Lubos Brim, Ivana Cerná, Jiri...
134
Voted
RECOMB
2004
Springer
16 years 2 months ago
The evolutionary capacity of protein structures
In nature, one finds large collections of different protein sequences exhibiting roughly the same three-dimensional structure, and this observation underpins the study of structur...
Leonid Meyerguz, David Kempe, Jon M. Kleinberg, Ro...
237
Voted
SIGMOD
2009
ACM
269views Database» more  SIGMOD 2009»
16 years 2 months ago
Efficient approximate entity extraction with edit distance constraints
Named entity recognition aims at extracting named entities from unstructured text. A recent trend of named entity recognition is finding approximate matches in the text with respe...
Wei Wang 0011, Chuan Xiao, Xuemin Lin, Chengqi Zha...
89
Voted
ARITH
1993
IEEE
15 years 6 months ago
Fast implementations of RSA cryptography
We detail and analyse the critical techniques which may be combined in the design of fast hardware for RSA cryptography: chinese remainders, star chains, Hensel's odd divisio...
Mark Shand, Jean Vuillemin
131
Voted
NIPS
2007
15 years 4 months ago
Second Order Bilinear Discriminant Analysis for single trial EEG analysis
Traditional analysis methods for single-trial classification of electroencephalography (EEG) focus on two types of paradigms: phase locked methods, in which the amplitude of the ...
Christoforos Christoforou, Paul Sajda, Lucas C. Pa...