Sciweavers

5981 search results - page 40 / 1197

» time 2006

94

Voted

EUROS
2006

68views Robotics» more EUROS 2006»

Reduction of Learning Time for Robots Using Automatic State Abstraction

15 years 6 months ago

Reduction of Learning Time for Robots Using Automatic State Abstraction

Download birg2.epfl.ch

Masoud Asadpour, Majid Nili Ahmadabadi, Roland Sie...

claim paper

Read More »

127

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

15 years 6 months ago

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

89

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 6 months ago

Simulator for Real-Time Abstract State Machines

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

93

FORMATS
2006
Springer

85views Formal Methods» more FORMATS 2006»

Intersection of Regular Signal-Event (Timed) Languages

15 years 6 months ago

Intersection of Regular Signal-Event (Timed) Languages

Download www.lamsade.dauphine.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

83

FORMATS
2006
Springer

79views Formal Methods» more FORMATS 2006»

Refinements and Abstractions of Signal-Event (Timed) Languages

15 years 6 months ago

Refinements and Abstractions of Signal-Event (Timed) Languages

Download www.lsv.ens-cachan.fr

Béatrice Bérard, Paul Gastin, Antoin...

claim paper

Read More »

« Prev « First page 40 / 1197 Last » Next »