1054 search results - page 46 / 211 » Translation Validation of System Abstractions |
193
click to vote
IEICET
2006
15 years 7 months ago
2006
Abstract--This paper deals with a synthesis of a nonautonomous system with a stable limit cycle. By extending Green's method, by which arbitrary periodic solutions can be desi...
200
click to vote
DLT
2010
15 years 8 months ago
2010
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
141
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
187
Voted
ISER
1997
Springer
15 years 11 months ago
1997
Springer
Abstract: This paper propose an adaptive visual servoing method consisting of an on-line estimator of the robot/image Jacobian matrix and a feedback/feedforward controller for unca...
186
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...