Sciweavers

36781 search results - page 195 / 7357
» Parameterizing by the Number of Numbers
Sort
View
83
Voted
ATVA
2007
Springer
77views Hardware» more  ATVA 2007»
15 years 6 months ago
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
83
Voted
CCIA
2007
Springer
15 years 6 months ago
Maximum and Minimum of Discrete Fuzzy Numbers
Jaume Casasnovas, J. Vicente Riera
CCS
2007
ACM
15 years 6 months ago
Cryptanalysis of the windows random number generator
Leo Dorrendorf, Zvi Gutterman, Benny Pinkas
89
Voted
EUROGP
2007
Springer
118views Optimization» more  EUROGP 2007»
15 years 6 months ago
Predicting Prime Numbers Using Cartesian Genetic Programming
James Alfred Walker, Julian Francis Miller
77
Voted
FSTTCS
2007
Springer
15 years 6 months ago
Satisfiability of Algebraic Circuits over Sets of Natural Numbers
Christian Glaßer, Christian Reitwießne...