9626 search results - page 159 / 1926 » Invariant Based Programming |
158
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
150
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents a sufficient condition that establishes closed loop stability for linear time invariant dynamical systems with transfer functions that are analytic in the ...
190
click to vote
CAIP
1999
Springer
15 years 10 months ago
1999
Springer
A technique for a zoom lens camera is presented that enable to update continuously camera intrinsic parameters while zooming. This is based on the fact that the spatial angle subte...
157
click to vote
ISPD
1998
ACM
15 years 10 months ago
1998
ACM
We propose a simple, isometry invariant pattern matching algorithm for an effective data reduction useful in layout-related data processing of very complex IC designs. The repeata...
185
click to vote
CLOR
2006
15 years 10 months ago
2006
We introduce a stochastic model to characterize the online computational process of an object recognition system based on a hierarchy of classifiers. The model is a graphical netwo...