Search Sciweavers | Sciweavers

36781 search results - page 195 / 7357

» Parameterizing by the Number of Numbers

146

click to vote

ATVA
2007
Springer

77views Hardware» more ATVA 2007»

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

16 years 1 months ago

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

Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...

claim paper

Read More »

150

click to vote

CCIA
2007
Springer

132views Artificial Intelligence» more CCIA 2007»

Maximum and Minimum of Discrete Fuzzy Numbers

16 years 1 months ago

Download ccia2007.uda.ad

Jaume Casasnovas, J. Vicente Riera

claim paper

Read More »

135

click to vote

CCS
2007
ACM

98views Security Privacy» more CCS 2007»

Cryptanalysis of the windows random number generator

16 years 1 months ago

Download www.fi.muni.cz

Leo Dorrendorf, Zvi Gutterman, Benny Pinkas

claim paper

Read More »

161

click to vote

EUROGP
2007
Springer

118views Optimization» more EUROGP 2007»

Predicting Prime Numbers Using Cartesian Genetic Programming

16 years 1 months ago

Download www.cs.bham.ac.uk

James Alfred Walker, Julian Francis Miller

claim paper

Read More »

148

click to vote

FSTTCS
2007
Springer

123views Software Engineering» more FSTTCS 2007»

Satisfiability of Algebraic Circuits over Sets of Natural Numbers

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers