Sciweavers

3679 search results - page 53 / 736
» Hybrid Semantic Analysis
Sort
View
87
Voted
FORMATS
2007
Springer
15 years 6 months ago
Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
Susmit Jha, Bryan A. Brady, Sanjit A. Seshia
99
Voted
CNSR
2006
IEEE
136views Communications» more  CNSR 2006»
15 years 6 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
74
Voted
AAAI
2007
15 years 2 months ago
A Corpus-Based Hybrid Approach to Music Analysis and Composition
Bill Z. Manaris, Patrick Roos, Penousal Machado, D...
68
Voted
APVIS
2010
15 years 2 months ago
Visual analysis of large graphs using (X, Y)-clustering and hybrid visualizations
Vladimir Batagelj, Walter Didimo, Giuseppe Liotta,...