This paper addresses the issue of word-sense ambiguity in extraction from machine-readable resources for the construction of large-scale knowledge sources. We describe two experim...
We describe in this paper an advanced protocol for the discrimination and the classification of neuronal spike waveforms within multichannel electrophysiological recordings. Sparse...
Vincent Vigneron, Hsin Chen, Yen-Tai Chen, Hsin-Yi...
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
Robotic manipulators on non-inertial platforms, such as ships, have to endure large inertial forces due to the non-inertial motion of the platform. When the non-inertial platform...
With the more sophisticated abilities of teams within the simulation league high level online functions become more and more attractive. Last year we proposed an approach to recogn...