5200 search results - page 66 / 1040 » Symbolic models for control systems |
ISSTA
1998
ACM
14 years 1 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
ECRTS
2003
IEEE
14 years 2 months ago
2003
IEEE
Advances in scheduling theory have given designers of control systems greater flexibility over their choice of timing requirements. This could lead to systems becoming more respon...
TASLP
2008
13 years 8 months ago
2008
We describe an acoustic chord transcription system that uses symbolic data to train hidden Markov models and gives best-of-class frame-level recognition results. We avoid the extre...
ICMI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract— This paper presents a tactile language for controlling a robot through its artificial skin. This language greatly improves the multimodal human-robot communication by ...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— We analyze the user capacity of downlink CDMA systems with quasi-orthogonal sequences(QOSs) considering various system parameters, such as user activity, spreading factor, the ...