9626 search results - page 61 / 1926 » Invariant Based Programming |
142
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for verification of hybrid systems. This approach works by searching for inductive invariants of a give...
131
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a novel classification/ retrieval system for motion events based on a perfect view invariant representation of motion trajectories and a linear classifier al...
133
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
120
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Pattern recognition of objects on affinely distorted images based on moments is important task researched for many years. Affine moment invariants are significant tool for it. The...
140
click to vote
ICIP
2002
IEEE
15 years 9 months ago
2002
IEEE
The topic of the paper is to estimate parameters of the camera motion using images taken at initial and current positions of the camera. An original method handling defocused imag...