Sciweavers

679 search results - page 9 / 136
» hybrid 2010
Sort
View
HYBRID
2010
Springer
14 years 4 months ago
From synchronous programs to symbolic representations of hybrid systems
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
Kerstin Bauer, Klaus Schneider
APVIS
2010
13 years 11 months ago
Visual analysis of large graphs using (X, Y)-clustering and hybrid visualizations
Vladimir Batagelj, Walter Didimo, Giuseppe Liotta,...
AIL
2010
87views more  AIL 2010»
13 years 10 months ago
A hybrid formal theory of arguments, stories and criminal evidence
Floris J. Bex, Peter J. van Koppen, Henry Prakken,...
ARTMED
2010
102views more  ARTMED 2010»
13 years 10 months ago
A hybrid tabu search algorithm for automatically assigning patients to beds
Peter Demeester, Wouter Souffriau, Patrick De Caus...