3199 search results - page 242 / 640 » Variability in Automation System Models |
191
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
171
click to vote
ROBOTICA
2008
15 years 6 months ago
2008
This paper studies the mechanical configuration and the periodic gaits of multi-legged locomotion systems based on its kinematic and dynamic models. The purpose is to determine the...
146
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we present the design, implementation and evaluation of FESMI, a fuzzy expert system that deals with diagnosis and treatment of male impotence. The diagnosis process...
144
click to vote
ICRA
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract— In order to reduce computational burden of identification methods for multivariable systems, a hierarchical least squares (HLS) algorithm is developed. The basic idea ...
186
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...