5638 search results - page 95 / 1128 » On presence |
177
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
-This paper discusses the output control for a linear plant containing uncertain hysteresis nonlinearities in actuator and sensor devices simultaneously, where the hysteresis is de...
134
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which p...
141
click to vote
WSC
2007
15 years 8 months ago
2007
Most classical stochastic inventory models assume that replenishment lead times are independent of the amount of orders placed. This assumption is clearly problematic in capacitat...
149
click to vote
AIRS
2008
Springer
15 years 8 months ago
2008
Springer
Although regarded as one of the most successful algorithm to identify predictive features, Relief is quite vulnerable to outliers and noisy features. The recently proposed I-Relief...
192
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...