Sciweavers

2829 search results - page 27 / 566
» Regularization Methods for Additive Models
Sort
View
ICML
2005
IEEE
16 years 17 days ago
Exploiting syntactic, semantic and lexical regularities in language modeling via directed Markov random fields
We present a directed Markov random field (MRF) model that combines n-gram models, probabilistic context free grammars (PCFGs) and probabilistic latent semantic analysis (PLSA) fo...
Shaojun Wang, Shaomin Wang, Russell Greiner, Dale ...
FMCAD
2007
Springer
15 years 6 months ago
Induction in CEGAR for Detecting Counterexamples
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
Chao Wang, Aarti Gupta, Franjo Ivancic
IPMI
2009
Springer
15 years 4 months ago
Dense Registration with Deformation Priors
Abstract. In this paper we propose a novel approach to define task-driven regularization constraints in deformable image registration using learned deformation priors. Our method ...
Ben Glocker, Nikos Komodakis, Nassir Navab, Georgi...
CHARME
2005
Springer
122views Hardware» more  CHARME 2005»
15 years 5 months ago
Regular Vacuity
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
Doron Bustan, Alon Flaisher, Orna Grumberg, Orna K...
ICIP
2005
IEEE
16 years 1 months ago
An adaptive segmentation-based regularization term for image restoration
This paper proposes an original inhomogeneous restoration (deconvolution) model under the Bayesian framework. In this model, regularization is achieved, during the iterative resto...
Max Mignotte