10289 search results - page 35 / 2058 » Standard bases in K |
128
click to vote
BIOCOMP
2009
15 years 3 months ago
2009
The accurate computational prediction of RNA secondary structures is a difficult task, but an important one, since RNA structure is usually more evolutionarily conserved than prima...
150
click to vote
JCIT
2010
14 years 8 months ago
2010
Probability theory is the framework for making decision under uncertainty. In classification, Bayes' rule is used to calculate the probabilities of the classes and it is a bi...
105
click to vote
FCT
2007
Springer
15 years 8 months ago
2007
Springer
We present new combinatorial approximation algorithms for k-set cover. Previous approaches are based on extending the greedy algorithm by efficiently handling small sets. The new a...
MFCS
1999
Springer
15 years 6 months ago
1999
Springer
We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more efficient decision procedures than those hitherto kno...
107
click to vote
CTRSA
2008
Springer
15 years 3 months ago
2008
Springer
We propose two constructions of chosen-ciphertext secure identity-based encryption (IBE) schemes. Our schemes have a security proof in the standard model, yet they offer performan...