640 search results - page 18 / 128 » Discovering State Invariants |
SCAM
2003
IEEE
14 years 4 months ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
Several recent control applications consider the coordination of subsystems through local interaction. Often the interaction has a symmetry in state space, e.g. invariance with res...
IJCV
2002
13 years 10 months ago
2002
Analysis of human perception of motion shows that information for representing the motion is obtained from the dramatic changes in the speed and direction of the trajectory. In thi...
KDD
1995
ACM
14 years 2 months ago
1995
ACM
This paper introduces a new measurement, robustness, to measure the quality of machine-discovered knowledge from real-world databases that change over time. A piece of knowledge i...
EWCBR
2008
Springer
14 years 20 days ago
2008
Springer
In this paper we propose an approach to address the old problem of identifying the feature conditions under which a gaming strategy can be effective. For doing this, we will build ...