Search Sciweavers | Sciweavers

7827 search results - page 57 / 1566

» time 2007

137

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Ma...

claim paper

Read More »

Voted

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

117

click to vote

ICANN
2007
Springer

185views Neural Networks» more ICANN 2007»

The Introduction of Time-Scales in Reservoir Computing, Applied to Isolated Digits Recognition

15 years 11 months ago

Download escher.elis.ugent.be

Benjamin Schrauwen, Jeroen Defour, David Verstraet...

claim paper

Read More »

235

click to vote

JSAI
2007
Springer

278views Artificial Intelligence» more JSAI 2007»

Moving Sound Source Extraction by Time-Variant Beamforming

15 years 11 months ago

Download www.ai-gakkai.or.jp

Hirofumi Nakajima, Kazuhiro Nakadai, Yuji Hasegawa...

claim paper

Read More »

121

click to vote

MFCS
2007
Springer

85views Theoretical Computer Science» more MFCS 2007»

Expander Properties and the Cover Time of Random Intersection Graphs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers