3690 search results - page 120 / 738 » Computation with classical sequents |
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— This work deals with the control by vision of the Gough-Stewart platform. For that, a central catadioptric camera is used to observe the platform legs. This allows to obtain a ...
DAGM
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a reliable coin recognition system that is based on a registration approach. To optimally align two coins we search for a rotation in order to reach a maximal n...
BSN
2006
IEEE
15 years 4 months ago
2006
IEEE
The design of an activity recognition and monitoring system based on the eWatch, multi-sensor platform worn on different body positions, is presented in this paper. The system ide...
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
Microkernel based systems tend to depend heavily on IPC. This paper adresses the problem of a system response spanning more than one task in an embedded real-time system. The appr...