7167 search results - page 23 / 1434 » A Technique for Invariant Generation |
128
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
We are interested in automatically proving safety properties of infinite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
110
click to vote
GW
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...
102
click to vote
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper assesses the recently proposed affine invariant image transform called Multi-Scale Autoconvolution (MSA) in some practical object classification problems. A classificat...
103
click to vote
HYBRID
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodical...
110
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...