Search Sciweavers | Sciweavers

1033 search results - page 23 / 207

» hybrid 2007

139

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

16 years 9 days ago

Download www.lsv.ens-cachan.fr

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

posted by susmitjha

Read More »

160

click to vote

GECCO
2007
Springer

169views Optimization» more GECCO 2007»

Hybrid evolutionary algorithms on minimum vertex cover for random graphs

16 years 9 days ago

Download medal.cs.umsl.edu

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

claim paper

Read More »

162

click to vote

ICIC
2007
Springer

239views Applied Computing» more ICIC 2007»

Hybrid Control of Hopf Bifurcation for an Internet Congestion Model

16 years 9 days ago

Download sl.qust.edu.cn

Zunshui Cheng, Jianlong Qiu, Guangbin Wang, Bin Yu

claim paper

Read More »

138

click to vote

LFCS
2007
Springer

92views Artificial Intelligence» more LFCS 2007»

Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking

16 years 8 days ago

Download cs.nyu.edu

Raffaella Gentilini, Klaus Schneider, B. Mishra

claim paper

Read More »

133

click to vote

MLDM
2007
Springer

104views Machine Learning» more MLDM 2007»

Hybrid Learning of Ontology Classes

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers