368 search results - page 11 / 74 » System BV is NP-complete |
135
Voted
SIMPRA
1998
15 years 3 months ago
1998
The paper deals with a unified environment for the design and implementation of control schemes. The widely used MATLAB-SIMULINK is used for control scheme description. The imple...
120
Voted
SCL
2008
15 years 3 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
113
Voted
FORTE
2003
15 years 5 months ago
2003
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...
130
Voted
KBS
1998
15 years 3 months ago
1998
This paper describes a document retrieval system called CAIRN that uses a case-based reasoning set using a large lexicon to automatically generate a case index to that document se...
117
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
Many variability modeling approaches consider only formalized dependencies, i.e. in- or exclude relations between variants. However, in real industrial product families, dependenc...