9067 search results - page 1529 / 1814 » Adaptive Model Checking |
221
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
164
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper the dynamic analysis of a cable drive parallel manipulator is described in detail. The manipulator architecture is a simplified planer version adopted from the str...
228
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
To achieve high accuracy while lowering false alarm rates are major challenges in designing an intrusion detection system. In addressing this issue, this paper proposes an ensembl...
209
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— High performance and compliant robot control requires accurate dynamics models which cannot be obtained analytically for sufficiently complex robot systems. In such cases, mac...
238
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
Truly ubiquitous computing poses new and significant challenges. A huge number of heterogeneous devices will interact to perform complex distributed tasks. One of the key aspects...