51 search results - page 9 / 11 » Realizability of Choreographies Using Process Algebra Encodi... |
ICIP
2008
IEEE
14 years 7 months ago
2008
IEEE
We propose a block-based transform optimization and associated image compression technique that exploits regularity along directional image singularities. Unlike established work,...
TACAS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
ICIP
2007
IEEE
14 years 7 months ago
2007
IEEE
It is well known that a compression trade-off exists between the spatial and temporal video quality. Various temporal scalability techniques have been considered for lowering the ...
ICASSP
2008
IEEE
14 years 3 days ago
2008
IEEE
A novel method is proposed to calculate the coefficients of adaptive interpolation filter used in hybrid video coders for improving the coding efficiency. The proposed algorithm f...
ICASSP
2007
IEEE
13 years 12 months ago
2007
IEEE
We propose an iterative probabilistic algorithm for estimation of RNA secondary structure using sequence data from two homologous sequences. The method is intended to exploit inte...