Search Sciweavers | Sciweavers

1033 search results - page 23 / 207

» hybrid 2007

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Susmit Jha, Bryan A. Brady, Sanjit A. Seshia

posted by susmitjha

Read More »

click to vote

GECCO
2007
Springer

169views Optimization» more GECCO 2007»

Hybrid evolutionary algorithms on minimum vertex cover for random graphs

14 years 1 months ago

Download medal.cs.umsl.edu

Martin Pelikan, Rajiv Kalapala, Alexander K. Hartm...

claim paper

Read More »

click to vote

ICIC
2007
Springer

239views Applied Computing» more ICIC 2007»

Hybrid Control of Hopf Bifurcation for an Internet Congestion Model

14 years 1 months ago

Download sl.qust.edu.cn

Zunshui Cheng, Jianlong Qiu, Guangbin Wang, Bin Yu

claim paper

Read More »

click to vote

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

14 years 1 months ago

Download cs.nyu.edu

Raffaella Gentilini, Klaus Schneider, B. Mishra

claim paper

Read More »

click to vote

MLDM
2007
Springer

104views Machine Learning» more MLDM 2007»

Hybrid Learning of Ontology Classes

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers