Sciweavers

1909 search results - page 44 / 382
» Generalized Filtering Decomposition
Sort
View
95
Voted
CADE
2007
Springer
16 years 22 days ago
T-Decision by Decomposition
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
Maria Paola Bonacina, Mnacho Echenim
115
Voted
IROS
2008
IEEE
211views Robotics» more  IROS 2008»
15 years 6 months ago
GP-BayesFilters: Bayesian filtering using Gaussian process prediction and observation models
Abstract— Bayesian filtering is a general framework for recursively estimating the state of a dynamical system. The most common instantiations of Bayes filters are Kalman filt...
Jonathan Ko, Dieter Fox
VMV
2007
178views Visualization» more  VMV 2007»
15 years 1 months ago
Filtered Blending: A new, minimal Reconstruction Filter for Ghosting-Free Projective Texturing with Multiple Images
Whenever approximate 3D geometry is projectively texture-mapped from different directions simultaneously, annoyingly visible aliasing artifacts are the result. To prevent such gho...
Martin Eisemann, Marcus A. Magnor
IJCAI
2003
15 years 1 months ago
Bayesian Information Extraction Network
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...
Leonid Peshkin, Avi Pfeffer
TSP
2010
14 years 7 months ago
Design of regular wavelets using a three-step lifting scheme
We propose structural multidimensional multi-channel filter banks with desirable numbers of vanishing moments for the analysis and synthesis banks. For a two-channel filter bank, w...
Ramin Eslami, Hayder Radha