Search Sciweavers | Sciweavers

36781 search results - page 195 / 7357

» Parameterizing by the Number of Numbers

117

click to vote

ATVA
2007
Springer

77views Hardware» more ATVA 2007»

Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction

15 years 10 months ago

Download www.cad.t.u-tokyo.ac.jp

Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...

claim paper

Read More »

115

click to vote

CCIA
2007
Springer

132views Artificial Intelligence» more CCIA 2007»

Maximum and Minimum of Discrete Fuzzy Numbers

15 years 10 months ago

Download ccia2007.uda.ad

Jaume Casasnovas, J. Vicente Riera

claim paper

Read More »

click to vote

CCS
2007
ACM

98views Security Privacy» more CCS 2007»

Cryptanalysis of the windows random number generator

15 years 10 months ago

Download www.fi.muni.cz

Leo Dorrendorf, Zvi Gutterman, Benny Pinkas

claim paper

Read More »

121

click to vote

EUROGP
2007
Springer

118views Optimization» more EUROGP 2007»

Predicting Prime Numbers Using Cartesian Genetic Programming

15 years 10 months ago

Download www.cs.bham.ac.uk

James Alfred Walker, Julian Francis Miller

claim paper

Read More »

108

Voted

FSTTCS
2007
Springer

123views Software Engineering» more FSTTCS 2007»

Satisfiability of Algebraic Circuits over Sets of Natural Numbers

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers