1716 search results - page 183 / 344 » Generating models for temporal representations |
112
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
114
click to vote
ESANN
2008
15 years 5 months ago
2008
Rhythmic synchronization of activated neural groups in the gamma-frequency range (30-100 Hz) is observed in many brain regions. Interneuron networks are key to the generation of th...
114
click to vote
ACTAC
2007
15 years 4 months ago
2007
An o-line scheduling algorithm considers resource, precedence, and synchronisation requirements of a task graph, and generates a schedule guaranteeing its timing requirements. Th...
139
Voted
IJHR
2008
15 years 4 months ago
2008
In this paper, we deal with imitation learning of arm movements in humanoid robots. Hidden Markov Models (HMM) are used to generalize movements demonstrated to a robot multiple tim...
BC
2004
15 years 3 months ago
2004
Behavioral experiments suggest that insects make use of the apparent image speed on their compound eyes to navigate through obstacles, control flight speed, land smoothly, and meas...