29143 search results - page 166 / 5829 » A Sortation System Model |
117
Voted
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— We present a general method for integrating visual components into a multi-modal cognitive system. The integration is very generic and can work with an arbitrary set of modalit...
99
Voted
ICEIS
2008
IEEE
15 years 9 months ago
2008
IEEE
107
Voted
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
94
Voted
ICEIS
2003
IEEE
15 years 8 months ago
2003
IEEE
107
Voted
DATE
1999
IEEE
15 years 7 months ago
1999
IEEE
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...