Search Sciweavers | Sciweavers

10539 search results - page 87 / 2108

» On L

121

click to vote

CAV
2005
Springer

99views Hardware» more CAV 2005»

Probabilistic Verification for "Black-Box" Systems

15 years 8 months ago

Download www.tempastic.org

Håkan L. S. Younes

claim paper

Read More »

125

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Ymer: A Statistical Model Checker

15 years 8 months ago

Download www.tempastic.org

Håkan L. S. Younes

claim paper

Read More »

click to vote

FCT
2005
Springer

96views Applied Computing» more FCT 2005»

Algorithms for Graphs Embeddable with Few Crossings Per Edge

15 years 8 months ago

Download www.cs.uu.nl

Alexander Grigoriev, Hans L. Bodlaender

claim paper

Read More »

click to vote

GECCO
2005
Springer

137views Optimization» more GECCO 2005»

An ant colony algorithm for multi-user detection in wireless communication systems

15 years 8 months ago

Download www.cs.york.ac.uk

Samer L. Hijazi, Balasubramaniam Natarajan, Sanjoy...

claim paper

Read More »

click to vote

GECCO
2005
Springer

108views Optimization» more GECCO 2005»

An evolutionary algorithm to generate ellipsoid network intrusion detectors

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers