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 12 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 9 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers