3233 search results - page 131 / 647 » Validation Method for Intelligent Systems |
127
click to vote
IEICET
2006
15 years 3 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...
112
click to vote
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
118
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Smale's -theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to ...
153
click to vote
KDD
1998
ACM
15 years 7 months ago
1998
ACM
The task in the computer security domain of anomaly detection is to characterize the behaviors of a computer user (the `valid', or `normal' user) so that unusual occurre...
128
Voted
FORMATS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...