Search Sciweavers | Sciweavers

1033 search results - page 23 / 207

» hybrid 2007

147

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

16 years 24 days ago

Download www.lsv.ens-cachan.fr

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

posted by susmitjha

Read More »

166

click to vote

GECCO
2007
Springer

169views Optimization» more GECCO 2007»

Hybrid evolutionary algorithms on minimum vertex cover for random graphs

16 years 24 days ago

Download medal.cs.umsl.edu

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

claim paper

Read More »

179

click to vote

ICIC
2007
Springer

239views Applied Computing» more ICIC 2007»

Hybrid Control of Hopf Bifurcation for an Internet Congestion Model

16 years 23 days ago

Download sl.qust.edu.cn

Zunshui Cheng, Jianlong Qiu, Guangbin Wang, Bin Yu

claim paper

Read More »

147

click to vote

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

16 years 23 days ago

Download cs.nyu.edu

Raffaella Gentilini, Klaus Schneider, B. Mishra

claim paper

Read More »

142

click to vote

MLDM
2007
Springer

104views Machine Learning» more MLDM 2007»

Hybrid Learning of Ontology Classes

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers