691 search results - page 17 / 139 » Automatically Proving Linearizability |
ISSAC
2004
Springer
14 years 3 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The classical technique for proving termination of a generic sequential computer program involves the synthesis of a ranking function for each loop of the program. Linear ranking ...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a data-mining experiment on feature selection for automatic emotion recognition. Starting from more than 1000 features derived from pitch, energy and MFCC time series, ...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
BILDMED
2008
13 years 11 months ago
2008
We present an algorithm for fast automatic registration of spatially overlapping radiographs. It possesses strong robustness against noise, feature masking and feature displacement...