-
V Voracek, T Werner.
Convergence of Some Convex Message Passing Algorithms to a Fixed Point.
Intl. Conf. on Machine Learning (ICML), June 2024.
[paper]
-
T Dlask, T Werner.
Using Constraint Propagation to Bound Linear Programs.
J. of Artificial Intelligence Research, June 2024.
[DOI]
-
T Dlask, T Werner.
Activity Propagation in Systems of Linear Inequalities and Its Relation to Block-Coordinate Descent in Linear Programs.
Constraints, July 2023.
[DOI]
-
T Dlask, T Werner, S de Givry.
Super-Reparametrizations of Weighted CSPs: Properties and Optimization Perspective.
Constraints, May 2023.
[DOI]
-
P Montalbano, D Allouche, G Katsirelos, S de Givry, T Werner.
Virtual Pairwise Consistency in Cost Function Networks.
Intl. Conf. on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), 2023.
[DOI]
-
T Dlask, T Werner.
Classes of Linear Programs Solvable by Coordinate-Wise Minimization.
Annals of Mathematics and Artificial Intelligence (AMAI), 2022.
[DOI]
[local copy]
[bibtex]
@article{Dlask-AMAI2022,
author = {Dlask, Tom{\' a}{\v s} and Werner, Tom{\' a}{\v s}},
title = {Classes of Linear Programs Solvable by Coordinate-Wise Minimization},
journal = {Annals of Mathematics and Artif. Intell.},
year = {2022},
volume = {90},
pages = {777-807},
}
-
T Dlask, T Werner, S de Givry.
Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations.
Conf. on Principles and Practice of Constraint Programming (CP), 2021.
[DOI]
[bibtex]
@inproceedings{Dlask-CP2021,
author = {Dlask, Tom{\' a}{\v s} and Werner, Tom{\' a}{\v s} and de Givry, Simon},
title = {Bounds on Weighted CSPs Using Constraint Propagation and Super-Reparametrizations},
booktitle = {27th Intl. Conf. on Principles and Practice of Constraint Programming},
year = {2021},
pages = {23:1--23:18},
}
-
T Dlask, T Werner.
On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs.
Conf. on Principles and Practice of Constraint Programming (CP), 2020.
[DOI]
[bibtex]
@inproceedings{Dlask-CP2020b,
author = {Dlask, Tom{\' a}{\v s} and Werner, Tom{\' a}{\v s}},
title = {On Relation Between Constraint Propagation and Block-Coordinate Descent in Linear Programs},
booktitle = {26th Intl. Conf. on Principles and Practice of Constraint Programming},
year = {2020},
pages = {194-210},
}
-
T Dlask, T Werner.
Bounding Linear Programs by Constraint Propagation: Application to Max-SAT.
Conf. on Principles and Practice of Constraint Programming (CP), 2020.
[DOI]
[bibtex]
@inproceedings{Dlask-CP2020a,
author = {Dlask, Tom{\' a}{\v s} and Werner, Tom{\' a}{\v s}},
title = {Bounding Linear Programs by Constraint Propagation: {A}pplication to {Max-SAT}},
booktitle = {26th Intl. Conf. on Principles and Practice of Constraint Programming},
year = {2020},
pages = {177-193},
}
-
T Dlask, T Werner.
A Class of Linear Programs Solvable by Coordinate-Wise Minimization.
Learning and Intelligent Optimization (LION), 2020.
[DOI]
-
T Werner, D Prusa, T Dlask.
Relative Interior Rule in Block-Coordinate Descent.
Conf. on Computer Vision and Pattern Recognition (CVPR), 2020.
[open access]
[bibtex]
@inproceedings{Werner-CVPR2020,
author = {Werner, Tom{\' a}{\v s} and Pr{\r u}{\v s}a, Daniel and Dlask, Tom{\' a}{\v s}},
title = {Relative Interior Rule in Block-Coordinate Descent},
booktitle = {Conf.\ on Computer Vision and Pattern Recognition},
year = {2020},
month = {June},
pages = {7559-7567},
}
-
D Prusa, T Werner.
Solving LP Relaxations of Some NP-Hard Problems Is As Hard As Solving Any Linear Program.
SIAM Journal on Optimization 2019 29(3), 1745-1771.
[DOI]
[local copy]
[bibtex]
@article{Prusa-Werner-SIAM2019,
author={Pr{\r u}{\v s}a, Daniel and Werner, Tom{\'a}{\v s}},
title = {Solving LP Relaxations of Some NP-Hard Problems Is As Hard As Solving Any Linear Program},
journal = {{SIAM} J. Optimization},
year = {2019},
volume = {29},
number = {3},
pages = {1745-1771},
publisher = {{SIAM}},
}
-
T Werner.
On Coordinate Minimization of Piecewise-Affine Functions.
Research report CTU-CMP-2017-05, September 2017.
[report]
[also on arXiv]
[bibtex]
@TechReport{Werner-TR-2017-05,
author = {Werner, Tom{\'a}{\v s}},
title = {On Coordinate Minimization of Piecewise-Affine Functions}
institution = {Dept.\ of Cybernetics, Fac.\ of Electrical Eng., Czech Technical Univ.\ in Prague},
year = {2017},
month = {September},
number = {CTU-CMP-2017-05},
}
-
D Prusa, T Werner.
LP Relaxations of Some NP-Hard Problems Are as Hard as any LP.
ACM-SIAM Symposium on Discrete Algorithms (SODA), January 2017.
[DOI]
[local copy]
[bibtex]
@inproceedings{Prusa-Werner-SODA2017,
author={Pr{\r u}{\v s}a, Daniel and Werner, Tom{\'a}{\v s}},
title = {LP Relaxations of Some NP-Hard Problems Are as Hard as any LP},
booktitle = {ACM-SIAM Symp. on Discrete Algorithm (SODA)},
year = {2017},
month = {January},
pages = {1372--1382},
publisher = {{SIAM}},
}
-
D Prusa, T Werner.
LP Relaxation of the Potts Labeling Problem Is as Hard as any Linear Program.
IEEE Trans. on Pattern Recognition and Machine Intelligence (PAMI), 39(7), July 2017.
[DOI]
[local copy]
[bibtex]
@article{Prusa-PAMI-2017,
author = {Pr{\r u}{\v s}a, Daniel and Werner, Tom{\'a}{\v s}},
title = {{LP} Relaxation of the {P}otts Labeling Problem Is as Hard as Any Linear Program},
journal = {{IEEE} Trans. Pattern Anal. Mach. Intell.},
volume = {39},
number = {7},
pages = {1469--1475},
year = {2017},
}
-
D Prusa, T Werner.
How Hard Is the LP Relaxation of the Potts Min-Sum Labeling Problem?
Conf. on Energy Minimization Methods in Computer Vision and Pattern Recognition (EMMCVPR), January 2015.
[DOI]
[local copy]
[bibtex]
@inproceedings{Prusa-EMMCVPR-2015,
author={Pr{\r u}{\v s}a, Daniel and Werner, Tom{\'a}{\v s}},
title = {How Hard is the {LP} Relaxation of the {P}otts Min-Sum Labeling Problem?},
year = {2015},
booktitle = {Conf.\ on Energy Minimization Methods in Computer Vision and Pattern Recognition, Hongkong},
publisher = {Springer},
pages = {57-70},
}
-
T Werner.
Marginal Consistency: Upper-Bounding Partition Functions over Commutative Semirings.
IEEE Trans. on Pattern Recognition and Machine Intelligence (PAMI) 37(7), July 2015.
[DOI]
[local copy]
[bibtex]
@article{Werner-PAMI-2015,
author={Werner, Tom{\'a}{\v s}},
journal={IEEE Trans.\ on Pattern Analysis and Machine Intelligence},
title={Marginal Consistency: Upper-Bounding Partition Functions over Commutative Semirings},
year={2015},
month={July},
volume={37},
number={7},
pages={1455-1468},
}
-
D Prusa, T Werner.
Universality of the Local Marginal Polytope.
IEEE Trans. on Pattern Recognition and Machine Intelligence (PAMI) 37(4), April 2015.
[DOI]
[local copy]
[slides from an invited talk at HCI Heidelberg]
[bibtex]
@article{Prusa-PAMI-2015,
author={Pr{\r u}{\v s}a, Daniel and Werner, Tom{\'a}{\v s}},
journal={IEEE Trans.\ on Pattern Analysis and Machine Intelligence},
title={Universality of the Local Marginal Polytope},
year={2015},
month={April},
volume={37},
number={4},
pages={898-904},
}
-
S Zivny, T Werner, D Prusa.
The Power of LP Relaxation for MAP Inference.
A chapter in: Advanced Structured Prediction, MIT Press, 2014.
[book]
[local copy]
[bibtex]
@InCollection{Zivny-MITbook-2014,
author = {Stanislav {\v Z}ivn{\'y} and Tom{\'a}{\v s} Werner and Daniel Pr{\r u}{\v s}a},
title = {The Power of {LP} Relaxation for {MAP} Inference},
booktitle = {Advanced Structured Prediction},
publisher = {MIT Press},
year = {2014},
editor = {S. Nowozin and P. V. Gehler and J. Jancsary and C. Lampert},
}
-
D Prusa, T Werner.
Universality of the Local Marginal Polytope.
Conf. on Computer Vision and Pattern Recognition (CVPR), 2013.
[DOI]
[local copy]
[bibtex]
@inproceedings{PrusaWernerCVPR2013,
author = {Pr{\r u}{\v s}a, Daniel and Werner, Tom{\' a}{\v s}},
title = {Universality of the Local Marginal Polytope},
booktitle = {Conf.\ on Computer Vision and Pattern Recognition},
pages = {1738-1743},
publisher = {IEEE Computer Society},
year = {2013},
}
-
V Franc, S Sonnenburg, T Werner.
Cutting Plane Methods in Machine Learning.
A chapter in: Optimization for Machine Learning, MIT Press, 2012.
[book]
[local copy]
[errata (corrected in local copy)]
[bibtex]
@InCollection{FraSonWer-CPA-MIT2012,
author = {V. Franc and S. Sonnenburg and T. Werner},
title = {Cutting Plane Methods in Machine Learning},
booktitle = {Optimization for Machine Learning},
publisher = {MIT Press},
year = {2012},
editor = {S. Sra and S. Nowozin and S. J. Wright},
}
-
T Werner.
Zero-Temperature Limit of a Convergent Algorithm to Minimize the Bethe Free Energy.
Research report CTU-CMP-2011-14, December 2011.
[report]
[also on arXiv]
[bibtex]
@TechReport{Werner-TR-2011-14,
author = {Werner, Tom{\'a}{\v s}},
title = {Zero-Temperature Limit of a Convergent Algorithm to Minimize the Bethe Free Energy},
institution = {Center for Machine Perception, K13133 FEE Czech Technical University},
address = {Prague, Czech Republic},
year = {2011},
month = {December},
type = {Research Report},
number = {CTU-CMP-2011-14},
}
-
T Werner.
How to Compute Primal Solution from Dual One in MAP Inference in MRF?
Intl. Jr. on Control Systems and Computers (published by the National Academy of Sciences of Ukraine) No. 2 (March-April) 2011, a special issue on Optimal Labeling Problems in Structual Pattern Recognition.
[local copy]
[bibtex]
@Article{Werner-Kiev-2011,
author = {Werner, Tom{\'a}{\v s}},
title = {How to Compute Primal Solution from Dual One in {MAP} Inference in {MRF}?},
year = {2011},
volume = {March--April},
pages = {35-45},
journal = {Control Systems and Computers},
publisher = {National Academy of Sciences of Ukraine},
address = {Kiev},
issn = {0130-5395},
number = {2},
}
-
T Werner.
Primal View on Belief Propagation.
Conf. on Uncertainty in Artificial Intelligence (UAI), Catalina Island, USA, July 2010.
[paper]
[bibtex]
@InProceedings{Werner-UAI-2010,
author = {Werner, Tom{\'a}{\v s}},
title = {Primal View on Belief Propagation},
year = {2010},
booktitle = {Conf.\ on Uncertainty in Artificial Intelligence},
pages = {651-657},
month = {July},
publisher = {AUAI Press},
}
-
MC Cooper, S de Givry, M Sanchez, T Schiex, M Zytnicki, T Werner.
Soft Arc Consistency Revisited.
Artificial Intelligence 174(7-8):449-478, May 2010.
[article]
[bibtex]
@Article{Cooper-AI-2010,
author = {Cooper, M. C. and de Givry, S. and Sanchez, M. and Schiex, T. and Zytnicki, M. and Werner, T.},
title = {Soft arc consistency revisited},
journal = {Artificial Intelligence},
volume = {174},
number = {7-8},
year = {2010},
pages = {449-478},
}
-
T Werner.
Fixed Points of Loopy Belief Propagation as Zero Gradients of a Function of Reparameterizations.
Research report CTU-CMP-2010-05, February 2010.
[report]
[bibtex]
@TechReport{Werner-TR-2010-05,
author = {Werner, Tom{\'a}{\v s}},
title = {Fixed Points of Loopy Belief Propagation as Zero Gradients of a Function of Reparameterizations},
institution = {Center for Machine Perception, Czech Technical University},
address = {Prague, Czech Republic},
year = {2010},
month = {February},
number = {CTU-CMP-2010-05},
}
-
T Werner.
Revisiting the Linear Programming Relaxation Approach to Gibbs Energy Minimization and Weighted Constraint Satisfaction.
IEEE Trans. on Pattern Recognition and Machine Intelligence (PAMI) 32(8) August 2010.
[DOI]
[local copy]
[bibtex]
@Article{Werner-PAMI-2010,
author = {Werner, Tom{\'a}{\v s}},
title = {Revisiting the Linear Programming Relaxation Approach to {G}ibbs Energy Minimization and Weighted Constraint Satisfaction},
journal = {IEEE Trans. Pattern Analysis and Machine Intelligence},
volume = {32},
number = {8},
pages = {1474-1488},
year = {2010},
month = {August},
}
-
T Werner.
Revisiting the Decomposition Approach to Inference in Exponential Families and Graphical Models.
Research report CTU-CMP-2009-06, May 2009.
[report]
[bibtex]
@TechReport{Werner-TR-2009-06,
author = {Werner, Tom{\'a}{\v s}},
title = {Revisiting the Decomposition Approach to Inference in Exponential Families and Graphical Models},
institution = {Center for Machine Perception, K13133 FEE Czech Technical University},
address = {Prague, Czech Republic},
year = {2009},
month = {May},
type = {Research Report},
number = {CTU-CMP-2009-06},
}
-
T Werner.
Marginal Consistency: Unifying Constraint Propagation on Commutative Semirings.
9th Intl. Workshop on Preferences and Soft Constraints (SofT'08). Collocated with Intl. Conf. on Principles and Practice of Constraint Programming, Sydney, Australia. September 2008.
[local copy]
[bibtex]
@InProceedings{Werner-Soft08,
author = {Tom{\'a}{\v s} Werner},
title = {Marginal Consistency: Unifying Constraint Propagation on Commutative Semirings},
booktitle = {Intl.\ Workshop on Preferences and Soft Constraints},
pages = {43-57},
year = {2008},
month = {September},
}
-
T Werner.
High-arity Interactions, Polyhedral Relaxations, and Cutting Plane Algorithm for Soft Constraint Optimisation (MAP-MRF).
Conf. on Computer Vision and Pattern Recognition (CVPR), June 2008.
[DOI]
[local copy]
[errata]
[bibtex]
@InProceedings{Werner-CVPR08,
author = {Tom{\'a}{\v s} Werner},
title = {High-arity Interactions, Polyhedral Relaxations, and Cutting Plane Algorithm for Soft Constraint Optimisation ({MAP-MRF})},
booktitle = {Conf. on Computer Vision and Pattern Recognition, Anchorage, USA},
year = {2008},
month = {June},
}
-
T Werner.
What Is Decreased by the Max-sum Arc Consistency Algorithm?
Intl. Conf. on Machine Learning, Corvalis, USA, July 2007.
[DOI]
[local copy]
[bibtex]
@InProceedings{Werner-ICML07,
author = {Werner, Tom{\'a}{\v s}},
title = {What Is Decreased by the Max-sum Arc Consistency Algorithm?},
booktitle = {Intl. Conf. on Machine Learning, Oregon, USA},
year = {2007},
month = {June},
}
-
T Werner, A Shekhovtsov.
Unified Framework for Semiring-Based Arc Consistency and Relaxation Labeling.
Computer Vision Winter Workshop, St. Lambrecht, Austria, February 2007.
[local copy]
[bibtex]
@InProceedings{Werner-CVWW-2007,
author = {Tom{\'a}{\v s} Werner and Alexander Shekhovtsov},
title = {Unified Framework for Semiring-Based Arc Consistency and Relaxation Labeling},
booktitle = {12th Computer Vision Winter Workshop, St. Lambrecht, Austria},
pages = {27-34},
year = {2007},
month = {February},
publisher = {Graz University of Technology},
}
-
T Werner.
A Linear Programming Approach to Max-sum Problem: A Review.
IEEE Trans. on Pattern Recognition and Machine Intelligence (PAMI) 29(7), July 2007.
[DOI]
[local copy]
[bibtex]
@Article{Werner-PAMI07,
author = {Werner, Tom{\'a}{\v s}},
title = {A Linear Programming Approach to Max-sum Problem: A Review},
journal = {IEEE Trans. Pattern Analysis and Machine Intelligence},
year = {2007},
volume = {29},
number = {7},
pages = {1165-1179},
month = {July},
}
-
T Werner.
A Linear Programming Approach to Max-sum Problem: A Review.
Research report CTU-CMP-2005-25, Dec 2005.
[report]
[software & cited papers]
[bibtex]
@TechReport{Werner-TR-2005,
author = {Werner, Tom{\'a}{\v s}},
title = {A Linear Programming Approach to Max-sum Problem: A Review},
institution = {Center for Machine Perception, Czech Technical University},
year = {2005},
month = {December},
number = {CTU-CMP-2005-25},
}
-
Hongping Cai, Tomas Werner, Jiri Matas.
Fast Detection of Multiple Textureless 3-D Objects.
Intl. Conf. on Computer Vision Systems (ICVS), 2013.
[DOI]
[local copy]
[bibtex]
@inproceedings{Cai-ICVS-2013,
author = {Hongping Cai and Tom{\'{a}}s Werner and Jiri Matas},
title = {Fast Detection of Multiple Textureless 3-D Objects},
booktitle = {9th International Conference on Computer Vision Systems},
pages = {103--112},
year = {2013},
}
-
O Chum, T Werner, J Matas.
Two-view Geometry Estimation Unaffected by a Dominant Plane.
Conf. on Computer Vision and Pattern Recognition (CVPR), June 2005.
[DOI]
[local copy]
[bibtex]
@inproceedings{chum-degen-cvpr05,
author = {Ondrej Chum and Tom{\'{a}}s Werner and Jiri Matas},
title = {Two-View Geometry Estimation Unaffected by a Dominant Plane},
booktitle = {Conf.\ on Computer Vision and Pattern Recognition},
pages = {772--779},
year = {2005},
}
-
T Werner.
Combinatorial Constraints on Multiple Projections of a Set of Points.
Intl. Conf. on Computer Vision (ICCV), October 2003.
[DOI]
[local copy]
[bibtex]
@inproceedings{werner-iccv03,
author = {Tom{\'{a}}s Werner},
title = {Combinatorial Constraints on Multiple Projections of a Set of Points},
booktitle = {International Conference on Computer Vision},
pages = {1011--1016},
year = {2003},
}
-
T Werner.
Constraint on Five Points in Two Images.
Conf. on Computer Vision and Pattern Recognition (CVPR), June 2003.
CVPR'03 Best Paper Honourable Mention
[DOI]
[local copy]
[bibtex]
@inproceedings{werner-cvpr03,
author = {Tom{\'{a}}s Werner},
title = {Constraint on Five Points in Two Images},
booktitle = {Conference on Computer Vision and Pattern Recognition},
pages = {203--208},
year = {2003},
}
-
O Chum, T Werner, T Pajdla.
Joint Orientation of Epipoles.
British Machine Vision Conf. (BMVC), September 2003.
[DOI]
[local copy]
[bibtex]
@inproceedings{chum-bmvc03,
author = {Ondrej Chum and Tom{\'{a}}s Werner and Tom{\'{a}}s Pajdla},
title = {Joint Orientation of Epipoles},
booktitle = {British Machine Vision Conference},
pages = {1--10},
year = {2003},
}
-
T Werner, T Pajdla.
Oriented Matching Constraints.
British Machine Vision Conf. (BMVC), September 2001.
[local copy]
[bibtex]
@inproceedings{Werner-bmvc2001,
author = {Tom{\'{a}}s Werner and Tom{\'{a}}s Pajdla},
title = {Oriented Matching Constraints},
booktitle = {British Machine Vision Conference},
pages = {1--10},
year = {2001},
}
-
T Werner, T Pajdla.
Cheirality in Epipolar Geometry.
Intl. Conf. on Computer Vision (ICCV), July 2001.
[DOI]
[bibtex]
@inproceedings{Werner-iccv2001,
author = {Tom{\'{a}}s Werner and Tom{\'{a}}s Pajdla},
title = {Cheirality in Epipolar Geometry},
booktitle = {Intl. Conf. on Computer Vision},
pages = {548-553},
year = {2001},
}
-
M Matousek, T Werner, V Hlavac.
Accurate correspondences from epipolar plane images.
Computer Vision Winter Workshop (CVWW), 2001.
[DOI]
[local copy]
-
T Werner, T Pajdla, V Hlavac.
Oriented Projective Reconstruction.
22nd Workshop of the Austrian Association for Pattern Recognition (OAGM/IAPR), May 1998.
OAGM'98 Best Paper Award
[local copy]
[bibtex]
@CONFERENCE{Werner-OAGM98,
AUTHOR = {Werner, Tom{\'a}{\v s} and Pajdla, Tom{\'a}{\v s} and Hlav{\'a}{\v c}, V{\'a}clav},
EDITOR = {Gengler, M. and Prinz, M. and Schuster, E.},
PAGES = {245--254},
PUBLISHER = {{\"O}sterreichische Computer Gesselschaft},
TITLE = {Oriented Projective Reconstruction},
BOOKTITLE = {Pattern Recognition and Medical Computer Vision: 22-nd Workshop of the Austrian Association for Pattern Recognition ({{\"O}AGM/IAPR})},
YEAR = {1998},
}
-
T Werner, RD Hersch, V Hlavac.
Rendering real-world objects using view interpolation.
Intl. Conf. on Computer Vision (ICCV), June 1995.
[DOI]
[local copy]
[bibtex]
@inproceedings{Werner-ICCV95,
author = {Tom{\'{a}}s Werner and Roger D. Hersch and V{\'{a}}clav Hlav{\'{a}}c},
title = {Rendering Real-World Objects Using View Interpolation},
booktitle = {Intl. Conf. on Computer Vision (ICCV)},
pages = {957--962},
year = {1995},
}
