7167 search results - page 8 / 1434 » A Technique for Invariant Generation |
PLDI
2010
ACM
15 years 29 days 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...
108
click to vote
NIPS
2008
14 years 11 months ago
2008
We develop new techniques for time series classification based on hierarchical Bayesian generative models (called mixed-effect models) and the Fisher kernel derived from them. A k...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
We address the issue of automatic invariant synthesis for sequential programs manipulating singly-linked lists carrying data over infinite data doe define for that a framework ba...
ICB
2009
Springer
14 years 7 months ago
2009
Springer
Stemming from a sound mathematical framework dating back to the beginning of the 20th century, this paper introduces a novel approach for 3D face recognition. The proposed techniqu...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
Though implicit representations of surfaces have often been used for various computer graphics tasks like modeling and morphing of objects, it has rarely been used for registratio...