Sciweavers

5348 search results - page 728 / 1070
» Variational surface modeling
Sort
View
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 4 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
ICCV
2009
IEEE
15 years 4 months ago
Storyboard sketches for Content Based Video Retrieval
We present a novel Content Based Video Retrieval (CBVR) system, driven by free-hand sketch queries depicting both objects and their movement (via dynamic cues; streak-lines and ar...
John P. Collomosse, Graham McNeill, Yu Qian
JMIV
2011
138views more  JMIV 2011»
15 years 1 months ago
Direct Sparse Deblurring
We propose a deblurring algorithm that explicitly takes into account the sparse characteristics of natural images and does not entail solving a numerically ill-conditioned backwar...
Yifei Lou, Andrea L. Bertozzi, Stefano Soatto
JMLR
2010
144views more  JMLR 2010»
15 years 1 months ago
Practical Approaches to Principal Component Analysis in the Presence of Missing Values
Principal component analysis (PCA) is a classical data analysis technique that finds linear transformations of data that retain the maximal amount of variance. We study a case whe...
Alexander Ilin, Tapani Raiko
JMLR
2010
163views more  JMLR 2010»
15 years 1 months ago
Dense Message Passing for Sparse Principal Component Analysis
We describe a novel inference algorithm for sparse Bayesian PCA with a zero-norm prior on the model parameters. Bayesian inference is very challenging in probabilistic models of t...
Kevin Sharp, Magnus Rattray