29172 search results - page 345 / 5835 » Modeling Systems in CLP |
187
click to vote
IROS
2009
IEEE
16 years 1 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...
163
click to vote
LICS
2006
IEEE
16 years 24 days 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...
156
click to vote
DATE
1999
IEEE
15 years 11 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...