Sciweavers

12 search results - page 1 / 3

» eurocast 2009

12

EUROCAST
2009
Springer

143views Hardware» more EUROCAST 2009»

Effective Bit-Width and Under-Approximation

13 years 11 months ago

Effective Bit-Width and Under-Approximation

Download fmv.jku.at

Robert Brummayer, Armin Biere

claim paper

Read More »

11

EUROCAST
2009
Springer

134views Hardware» more EUROCAST 2009»

Debugging and Verification of Multi-Agent Systems

13 years 11 months ago

Debugging and Verification of Multi-Agent Systems

Download www.protest-project.eu

Clara Benac Earle, Lars-Åke Fredlund

claim paper

Read More »

19

EUROCAST
2009
Springer

190views Hardware» more EUROCAST 2009»

A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem

13 years 11 months ago

A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem

Download www.ads.tuwien.ac.at

Mario Ruthmair, Günther R. Raidl

claim paper

Read More »

12

EUROCAST
2009
Springer

122views Hardware» more EUROCAST 2009»

Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness

13 years 11 months ago

Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness

Download www.dc.fi.udc.es

M. Eduardo Ares, Alvaro Barreiro

claim paper

Read More »

11

EUROCAST
2009
Springer

137views Hardware» more EUROCAST 2009»

Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search

13 years 11 months ago

Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search

Download www.ra.informatik.tu-darmstadt.de

Patrick Ediger, Rolf Hoffmann, Mathias Halbach

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »