Sciweavers

3604 search results - page 118 / 721
» All Common Subsequences
Sort
View
ICFP
2003
ACM
16 years 4 months ago
Disjunctive normal forms and local exceptions
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
Emmanuel Beffara, Vincent Danos
CRYPTO
2007
Springer
110views Cryptology» more  CRYPTO 2007»
15 years 10 months ago
Cryptography in the Multi-string Model
The common random string model introduced by Blum, Feldman and Micali permits the construction of cryptographic protocols that are provably impossible to realize in the standard m...
Jens Groth, Rafail Ostrovsky
ICC
2007
IEEE
119views Communications» more  ICC 2007»
15 years 8 months ago
Asymptotic SER Analysis of EGC and SC in Fading and Non-Gaussian Noise and Interference
In this paper, we present a unified asymptotic symbol error rate (SER) analysis for linearly modulated signals with equal gain combining (EGC) and selection combining (SC) at the r...
Amir Nasri, Robert Schober, Yao Ma
CAV
2008
Springer
121views Hardware» more  CAV 2008»
15 years 6 months ago
The Barcelogic SMT Solver
This is the first system description of the Barcelogic SMT solver, which implements all techniques that our group has been developing over the last four years as well as state-of-t...
Miquel Bofill, Robert Nieuwenhuis, Albert Oliveras...
PRIS
2004
15 years 5 months ago
A Pitfall in Determining the Optimal Feature Subset Size
Abstract. Feature selection researchers often encounter a peaking phenomenon: a feature subset can be found that is smaller but still enables building a more accurate classifier th...
Juha Reunanen