Search Sciweavers | Sciweavers

7827 search results - page 57 / 1566

» time 2007

144

click to vote

FOSSACS
2007
Springer

99views Software Engineering» more FOSSACS 2007»

Model-Checking One-Clock Priced Timed Automata

16 years 1 days ago

Download www.lsv.ens-cachan.fr

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

claim paper

Read More »

105

click to vote

FSTTCS
2007
Springer

74views Software Engineering» more FSTTCS 2007»

Probabilistic and Topological Semantics for Timed Automata

16 years 1 days ago

Download www.lsv.ens-cachan.fr

Christel Baier, Nathalie Bertrand, Patricia Bouyer...

claim paper

Read More »

125

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

16 years 1 days ago

Download escher.elis.ugent.be

Benjamin Schrauwen, Jeroen Defour, David Verstraet...

claim paper

Read More »

245

click to vote

JSAI
2007
Springer

278views Artificial Intelligence» more JSAI 2007»

Moving Sound Source Extraction by Time-Variant Beamforming

16 years 14 hour ago

Download www.ai-gakkai.or.jp

Hirofumi Nakajima, Kazuhiro Nakadai, Yuji Hasegawa...

claim paper

Read More »

130

click to vote

MFCS
2007
Springer

85views Theoretical Computer Science» more MFCS 2007»

Expander Properties and the Cover Time of Random Intersection Graphs

16 years 10 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers