Sciweavers

7827 search results - page 57 / 1566
» time 2007
Sort
View
FOSSACS
2007
Springer
15 years 6 months ago
Model-Checking One-Clock Priced Timed Automata
Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...
FSTTCS
2007
Springer
15 years 6 months ago
Probabilistic and Topological Semantics for Timed Automata
Christel Baier, Nathalie Bertrand, Patricia Bouyer...
JSAI
2007
Springer
15 years 6 months ago
Moving Sound Source Extraction by Time-Variant Beamforming
Hirofumi Nakajima, Kazuhiro Nakadai, Yuji Hasegawa...
MFCS
2007
Springer
15 years 6 months ago
Expander Properties and the Cover Time of Random Intersection Graphs
Sotiris E. Nikoletseas, Christoforos Raptopoulos, ...