Sciweavers

3679 search results - page 53 / 736
» Hybrid Semantic Analysis
Sort
View
FORMATS
2007
Springer
15 years 10 months ago
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
CNSR
2006
IEEE
136views Communications» more  CNSR 2006»
15 years 10 months ago
Combining Petri Nets and ns-2: A Hybrid Method for Analysis and Simulation
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
Qiang Ye, Mike H. MacGregor
AAAI
2007
15 years 6 months ago
A Corpus-Based Hybrid Approach to Music Analysis and Composition
Bill Z. Manaris, Patrick Roos, Penousal Machado, D...
APVIS
2010
15 years 5 months ago
Visual analysis of large graphs using (X, Y)-clustering and hybrid visualizations
Vladimir Batagelj, Walter Didimo, Giuseppe Liotta,...