Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,398,553 papers from all fields of science
Search
Sign In
Create Free Account
Variable splitting
In applied mathematics and computer science, variable splitting is a decomposition method that relaxes a set of constraints.
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
5 relations
Computer science
Constraint (mathematics)
Lagrange multiplier
Lagrangian relaxation
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Learning Sparse Neural Networks via $\ell_0$ and T$\ell_1$ by a Relaxed Variable Splitting Method with Application to Multi-scale Curve Classification
Fanghui Xue
,
J. Xin
arXiv.org
2019
Corpus ID: 67771414
We study sparsification of convolutional neural networks (CNN) by a relaxed variable splitting method of $\ell_0$ and transformed…
Expand
2015
2015
Fast GPU-Driven Model-Based X-Ray CT Image Reconstruction via Alternating Dual Updates
Madison G. McGaffin
,
J. Fessler
2015
Corpus ID: 2818811
Model-based image reconstruction (MBIR) methods for X-ray CT reconstruction can improve image quality and reduce patient X-ray…
Expand
2015
2015
Depth map upsampling using compressive sensing based model
Longquan Dai
,
Haoxing Wang
,
Xiaopeng Zhang
Neurocomputing
2015
Corpus ID: 19987054
2015
2015
Joint factor analysis and latent clustering
Bo Yang
,
Xiao Fu
,
N. Sidiropoulos
IEEE International Workshop on Computational…
2015
Corpus ID: 18681592
Many real-life datasets exhibit structure in the form of physically meaningful clusters - e.g., news documents can be categorized…
Expand
2013
2013
A novel compound regularization and fast algorithm for compressive sensing deconvolution
Liang Xiao
,
Jun Shao
,
Lili Huang
,
Zhihui Wei
Neurocomputing
2013
Corpus ID: 34454899
2012
2012
Scalable reachability analysis via automated dynamic netlist-based hint generation
Jiazhao Xu
,
Mark Williams
,
Hari Mony
,
J. Baumgartner
Formal methods in system design
2012
Corpus ID: 8793192
While SAT-based algorithms have largely displaced BDD-based verification techniques due to their typically higher scalability…
Expand
2008
2008
Manipulation der internen und externen Freiheitsgrade neutraler Atome in optischen Mikropotentialen
André Lengwenus
2008
Corpus ID: 93391078
Der Einsatz mikrostrukturierter optischer Elemente ist in der heutigen quantenoptischen Forschung ein auserst attraktiver Zugang…
Expand
2007
2007
Liberalized Variable Splitting
R. Antonsen
,
A. Waaler
Journal of automated reasoning
2007
Corpus ID: 29780812
Variable splitting is a technique applicable to free variable tableaux, sequent calculi, and matrix characterizations that…
Expand
2004
2004
Uniform variable splitting
R. Antonsen
IJCAR Doctoral Programme
2004
Corpus ID: 2995255
This extended abstract motivates and presents techniques for identifying variable independence in free variable calculi for…
Expand
2003
2003
A Free Variable Sequent Calculus with Uniform Variable Splitting
A. Waaler
,
R. Antonsen
International Conference on Theorem Proving with…
2003
Corpus ID: 45337060
A system with variable splitting is introduced for a sequent calculus with free variables and run-time Skolemization. Derivations…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE