Sciweavers

2829 search results - page 148 / 566
» Regularization Methods for Additive Models
Sort
View
119
Voted
FM
2008
Springer
93views Formal Methods» more  FM 2008»
15 years 4 months ago
Finding Minimal Unsatisfiable Cores of Declarative Specifications
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
VMV
2008
165views Visualization» more  VMV 2008»
15 years 4 months ago
Fast Global Labeling for Real-Time Stereo Using Multiple Plane Sweeps
This work presents a real-time, data-parallel approach for global label assignment on regular grids. The labels are selected according to a Markov random field energy with a Potts...
Christopher Zach, David Gallup, Jan-Michael Frahm,...
135
Voted
ESANN
2006
15 years 4 months ago
LS-SVM functional network for time series prediction
Usually time series prediction is done with regularly sampled data. In practice, however, the data available may be irregularly sampled. In this case the conventional prediction me...
Tuomas Kärnä, Fabrice Rossi, Amaury Lend...
CVPR
2004
IEEE
16 years 4 months ago
A Variational Approach to Scene Reconstruction and Image Segmentation from Motion-Blur Cues
In this paper we are interested in the joint reconstruction of geometry and photometry of scenes with multiple moving objects from a collection of motion-blurred images. We make s...
Paolo Favaro, Stefano Soatto
144
Voted
FLAIRS
2007
15 years 5 months ago
Combining Machine Learning with Linguistic Heuristics for Chinese Word Segmentation
This paper describes a hybrid model that combines machine learning with linguistic heuristics for integrating unknown word identification with Chinese word segmentation. The model...
Xiaofei Lu