Sciweavers

4057 search results - page 78 / 812
» Linear combination of transformations
Sort
View
FROCOS
2011
Springer
12 years 9 months ago
Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...
Alberto Griggio, Quoc-Sang Phan, Roberto Sebastian...
ICML
2003
IEEE
14 years 11 months ago
Relativized Options: Choosing the Right Transformation
Relativized options combine model minimization methods and a hierarchical reinforcement learning framework to derive compact reduced representations of a related family of tasks. ...
Balaraman Ravindran, Andrew G. Barto
GCC
2005
Springer
14 years 3 months ago
RSM and SLN: Transformation, Normalization and Cooperation
The Resource Space Model RSM and Semantic Link Network SLN are models of future interconnection environment, and the combination of them forms a rich semantic layer for the next-ge...
Erlin Yao, Yunpeng Xing, Jie Liu, Xiaoping Sun
CVPR
2001
IEEE
15 years 2 days ago
Combining Two-view Constraints For Motion Estimation
In this paper we describe two methods for estimating the motion parameters of an image sequence. For a sequence of images, the global motion can be described by ???? independent m...
Venu Madhav Govindu
IMR
2003
Springer
14 years 3 months ago
Combined Laplacian and Optimization-based Smoothing for Quadratic Mixed Surface Meshes
Quadratic elements place stringent requirements on a surface mesh smoother. One of the biggest challenges is that a good linear element may become invalid when mid-side nodes are ...
Zhijian Chen, Joseph R. Tristano, Wa Kwok