Sciweavers

1017 search results - page 52 / 204
» A fuzzy approach to automatic data locality optimization
Sort
View
VLSID
2008
IEEE
122views VLSI» more  VLSID 2008»
15 years 10 months ago
A Module Checking Based Converter Synthesis Approach for SoCs
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
Roopak Sinha, Partha S. Roop, Samik Basu
ACCV
2009
Springer
15 years 4 months ago
Highly-Automatic MI Based Multiple 2D/3D Image Registration Using Self-initialized Geodesic Feature Correspondences
Abstract. Intensity based registration methods, such as the mutual information (MI), do not commonly consider the spatial geometric information and the initial correspondences are ...
Hongwei Zheng, Ioan Cleju, Dietmar Saupe
SAT
2007
Springer
107views Hardware» more  SAT 2007»
15 years 3 months ago
Combining Adaptive Noise and Look-Ahead in Local Search for SAT
Abstract. The adaptive noise mechanism was introduced in Novelty+ to automatically adapt noise settings during the search [4]. The local search algorithm G2 WSAT deterministically ...
Chu Min Li, Wanxia Wei, Harry Zhang
IWCM
2004
Springer
15 years 3 months ago
Wiener-Optimized Discrete Filters for Differential Motion Estimation
Abstract. Differential motion estimation is based on detecting brightness changes in local image structures. Filters approximating the local gradient are applied to the image seque...
Kai Krajsek, Rudolf Mester
ISMAR
2006
IEEE
15 years 3 months ago
Automatic online walls detection for immediate use in AR tasks
This paper proposes a method to automatically detect and reconstruct planar surfaces for immediate use in AR tasks. Traditional methods for plane detection are typically based on ...
Gilles Simon