834 search results - page 12 / 167 » A Decomposition Technique for Max-CSP |
CIARP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper, we propose a new formulation of the Differential Optical Flow Equation (DOFE) between two consecutive images considering spatial and temporal information ...
JAPLL
2006
13 years 8 months ago
2006
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...
JCB
2006
13 years 8 months ago
2006
Here, we have applied information decomposition, cyclic profile alignment, and noise decomposition techniques to search for latent repeats within protein families of various funct...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
ICASSP
2011
IEEE
13 years 9 days ago
2011
IEEE
Current techniques used in pipelining recursive filters require significant hardware complexity. These techniques attempt to preserve the exact frequency response of the origina...