default search action
Search dblp for Publications
export results for "certain constraint"
@article{DBLP:journals/axioms/CardenasViedma24, author = {Mar{\'{\i}}a{-}Antonia C{\'{a}}rdenas{-}Viedma}, title = {Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog}, journal = {Axioms}, volume = {13}, number = {7}, pages = {472}, year = {2024}, url = {https://doi.org/10.3390/axioms13070472}, doi = {10.3390/AXIOMS13070472}, timestamp = {Sun, 08 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/axioms/CardenasViedma24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/23/SvitekKK23a, author = {Miroslav Sv{\'{\i}}tek and Olga Kosheleva and Vladik Kreinovich}, editor = {Martine Ceberio and Vladik Kreinovich}, title = {In the Absence of Information, the only Reasonable Negotiation Scheme Is Offering a Certain Percentage of the Original Request: {A} Proof}, booktitle = {Uncertainty, Constraints, and Decision Making}, series = {Studies in Systems, Decision and Control}, volume = {484}, pages = {109--113}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-36394-8\_20}, doi = {10.1007/978-3-031-36394-8\_20}, timestamp = {Tue, 26 Sep 2023 10:26:43 +0200}, biburl = {https://dblp.org/rec/books/sp/23/SvitekKK23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adbis/BonevaSL20, author = {Iovka Boneva and Slawek Staworko and Jose Lozano}, editor = {J{\'{e}}r{\^{o}}me Darmont and Boris Novikov and Robert Wrembel}, title = {Consistency and Certain Answers in Relational to {RDF} Data Exchange with Shape Constraints}, booktitle = {New Trends in Databases and Information Systems - {ADBIS} 2020 Short Papers, Lyon, France, August 25-27, 2020, Proceedings}, series = {Communications in Computer and Information Science}, volume = {1259}, pages = {97--107}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-54623-6\_9}, doi = {10.1007/978-3-030-54623-6\_9}, timestamp = {Tue, 08 Sep 2020 17:09:44 +0200}, biburl = {https://dblp.org/rec/conf/adbis/BonevaSL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2003-13831, author = {Iovka Boneva and Jose Lozano and Slawek Staworko}, title = {Consistency and Certain Answers in Relational to {RDF} Data Exchange with Shape Constraints}, journal = {CoRR}, volume = {abs/2003.13831}, year = {2020}, url = {https://arxiv.org/abs/2003.13831}, eprinttype = {arXiv}, eprint = {2003.13831}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2003-13831.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entropy/YangLLGW18, author = {Ting Yang and Shujun Liu and Wenguo Liu and Jishun Guo and Pin Wang}, title = {Noise Enhanced Signal Detection of Variable Detectors under Certain Constraints}, journal = {Entropy}, volume = {20}, number = {6}, pages = {470}, year = {2018}, url = {https://doi.org/10.3390/e20060470}, doi = {10.3390/E20060470}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entropy/YangLLGW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icinfa/0003H18, author = {Chao Sun and Guoqiang Hu}, title = {Distributed Nash Equilibrium Seeking for {A} Generalized Convex Game with Nonsmooth Objective Functions and Certain Nonsmooth Constraints}, booktitle = {{IEEE} International Conference on Information and Automation, {ICIA} 2018, Wuyishan, China, August 11-13, 2018}, pages = {77--82}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/ICInfA.2018.8812569}, doi = {10.1109/ICINFA.2018.8812569}, timestamp = {Mon, 09 Aug 2021 14:54:01 +0200}, biburl = {https://dblp.org/rec/conf/icinfa/0003H18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsp/OnoY15a, author = {Shunsuke Ono and Isao Yamada}, title = {Signal Recovery With Certain Involved Convex Data-Fidelity Constraints}, journal = {{IEEE} Trans. Signal Process.}, volume = {63}, number = {22}, pages = {6149--6163}, year = {2015}, url = {https://doi.org/10.1109/TSP.2015.2472365}, doi = {10.1109/TSP.2015.2472365}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tsp/OnoY15a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wodes/MaLG14, author = {Ziyue Ma and Zhiwu Li and Alessandro Giua}, editor = {Jean{-}Jacques Lesage and Jean{-}Marc Faure and Jos{\'{e}} E. R. Cury and Bengt Lennartson}, title = {A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures}, booktitle = {12th International Workshop on Discrete Event Systems, {WODES} 2014, Cachan, France, May 14-16, 2014}, pages = {66--72}, publisher = {International Federation of Automatic Control}, year = {2014}, url = {https://doi.org/10.3182/20140514-3-FR-4046.00085}, doi = {10.3182/20140514-3-FR-4046.00085}, timestamp = {Fri, 29 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wodes/MaLG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mmar/Emirsajlow13, author = {Zbigniew Emirsajlow}, title = {On certain optimization problems with applications to control problems with constraints}, booktitle = {18th International Conference on Methods {\&} Models in Automation {\&} Robotics, {MMAR} 2013, Mi{\k{e}}dzyzdroje, Poland, August 26-29, 2013}, pages = {475--478}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/MMAR.2013.6669956}, doi = {10.1109/MMAR.2013.6669956}, timestamp = {Wed, 11 Aug 2021 11:51:25 +0200}, biburl = {https://dblp.org/rec/conf/mmar/Emirsajlow13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/automatica/KingGS11, author = {Christopher K. King and Wynita M. Griggs and Robert N. Shorten}, title = {A Kalman-Yakubovich-Popov-type lemma for systems with certain state-dependent constraints}, journal = {Autom.}, volume = {47}, number = {9}, pages = {2107--2111}, year = {2011}, url = {https://doi.org/10.1016/j.automatica.2011.06.016}, doi = {10.1016/J.AUTOMATICA.2011.06.016}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/automatica/KingGS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcam/LuQSL11, author = {Linfa Lu and Xiaoyuan Qian and Xiquan Shi and Fengshan Liu}, title = {Quading triangular meshes with certain topological constraints}, journal = {J. Comput. Appl. Math.}, volume = {236}, number = {5}, pages = {916--923}, year = {2011}, url = {https://doi.org/10.1016/j.cam.2011.05.009}, doi = {10.1016/J.CAM.2011.05.009}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcam/LuQSL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/Yorke-SmithG09, author = {Neil Yorke{-}Smith and Carmen Gervet}, title = {Certainty closure: Reliable constraint reasoning with incomplete or erroneous data}, journal = {{ACM} Trans. Comput. Log.}, volume = {10}, number = {1}, pages = {3:1--3:41}, year = {2009}, url = {https://doi.org/10.1145/1459010.1459013}, doi = {10.1145/1459010.1459013}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/Yorke-SmithG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flairs/LaiS09, author = {Jinzan Lai and Nematollaah Shiri}, editor = {H. Chad Lane and Hans W. Guesgen}, title = {Query Processing and Optimization for Logic Programs with Certainty Constraints}, booktitle = {Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, May 19-21, 2009, Sanibel Island, Florida, {USA}}, publisher = {{AAAI} Press}, year = {2009}, url = {http://aaai.org/ocs/index.php/FLAIRS/2009/paper/view/137}, timestamp = {Wed, 26 Oct 2022 08:35:22 +0200}, biburl = {https://dblp.org/rec/conf/flairs/LaiS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0601109, author = {Neil Yorke{-}Smith and Carmen Gervet}, title = {Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data}, journal = {CoRR}, volume = {abs/cs/0601109}, year = {2006}, url = {http://arxiv.org/abs/cs/0601109}, eprinttype = {arXiv}, eprint = {cs/0601109}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601109.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/flairs/Shiri05, author = {Nematollaah Shiri}, editor = {Ingrid Russell and Zdravko Markov}, title = {Expressive Power of Logic Frameworks with Certainty Constraints}, booktitle = {Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, Clearwater Beach, Florida, {USA}}, pages = {759--765}, publisher = {{AAAI} Press}, year = {2005}, url = {http://www.aaai.org/Library/FLAIRS/2005/flairs05-124.php}, timestamp = {Wed, 26 Oct 2022 08:35:28 +0200}, biburl = {https://dblp.org/rec/conf/flairs/Shiri05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cp/Yorke-SmithG03, author = {Neil Yorke{-}Smith and Carmen Gervet}, editor = {Francesca Rossi}, title = {Certainty Closure: {A} Framework for Reliable Constraint Reasoning with Uncertainty}, booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th International Conference, {CP} 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2833}, pages = {769--783}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45193-8\_52}, doi = {10.1007/978-3-540-45193-8\_52}, timestamp = {Tue, 23 Jan 2024 13:25:46 +0100}, biburl = {https://dblp.org/rec/conf/cp/Yorke-SmithG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdc/Reinelt00, author = {Wolfgang Reinelt}, title = {Maximum output amplitude of linear systems for certain input constraints}, booktitle = {39th {IEEE} Conference on Decision and Control, {CDC} 2000, Sydney, Australia, December 12-15, 2000}, pages = {1075--1080}, publisher = {{IEEE}}, year = {2000}, url = {https://doi.org/10.1109/CDC.2000.911994}, doi = {10.1109/CDC.2000.911994}, timestamp = {Thu, 31 Mar 2022 11:10:43 +0200}, biburl = {https://dblp.org/rec/conf/cdc/Reinelt00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tit/TalyanskyER99, author = {Roman Talyansky and Tuvi Etzion and Ron M. Roth}, title = {Efficient Code Construction for Certain Two-Dimensional Constraints}, journal = {{IEEE} Trans. Inf. Theory}, volume = {45}, number = {2}, pages = {794--799}, year = {1999}, url = {https://doi.org/10.1109/18.749031}, doi = {10.1109/18.749031}, timestamp = {Tue, 10 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tit/TalyanskyER99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamjo/PalesZ98, author = {Zsolt P{\'{a}}les and Vera Zeidan}, title = {Optimum Problems with Certain Lower Semicontinuous Set-Valued Constraints}, journal = {{SIAM} J. Optim.}, volume = {8}, number = {3}, pages = {707--727}, year = {1998}, url = {https://doi.org/10.1137/S105262349630725X}, doi = {10.1137/S105262349630725X}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/siamjo/PalesZ98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigpro/Kabal091, author = {Peter Kabal and Eric Dubois}, title = {Interpolating and Nyquist filters with constraints at certain frequencies}, journal = {Signal Process.}, volume = {24}, number = {2}, pages = {117--126}, year = {1991}, url = {https://doi.org/10.1016/0165-1684(91)90125-3}, doi = {10.1016/0165-1684(91)90125-3}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigpro/Kabal091.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamdm/GrotschelM90, author = {Martin Gr{\"{o}}tschel and Clyde L. Monma}, title = {Integer Polyhedra Arising from Certain Network Design Problems with Connectivity Constraints}, journal = {{SIAM} J. Discret. Math.}, volume = {3}, number = {4}, pages = {502--523}, year = {1990}, url = {https://doi.org/10.1137/0403043}, doi = {10.1137/0403043}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamdm/GrotschelM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ior/MonmaS89, author = {Clyde L. Monma and David F. Shallcross}, title = {Methods for Designing Communications Networks with Certain Two-Connected Survivability Constraints}, journal = {Oper. Res.}, volume = {37}, number = {4}, pages = {531--541}, year = {1989}, url = {https://doi.org/10.1287/opre.37.4.531}, doi = {10.1287/OPRE.37.4.531}, timestamp = {Tue, 31 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/MonmaS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ior/ErengucB86, author = {S. Sel{\c{c}}uk Ereng{\"{u}}{\c{c}} and Harold P. Benson}, title = {Technical Note - On the Weighted Selection Algorithm for Certain Linear Programs with Nested Constraint Coefficients}, journal = {Oper. Res.}, volume = {34}, number = {4}, pages = {650--653}, year = {1986}, url = {https://doi.org/10.1287/opre.34.4.650}, doi = {10.1287/OPRE.34.4.650}, timestamp = {Tue, 31 Mar 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ior/ErengucB86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bncod/Flynn84, author = {Donal J. Flynn}, editor = {J. Longstaff}, title = {An Analysis of Certain Data Models with Respect to Their Handling of Selected Integrity Constraints}, booktitle = {Proceedings of the Third British National Conference on Databases {(BNCOD} 3), Leeds, UK, July 11-13, 1984}, pages = {71--90}, publisher = {Cambridge University Press}, year = {1984}, timestamp = {Thu, 02 Feb 2017 10:48:45 +0100}, biburl = {https://dblp.org/rec/conf/bncod/Flynn84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/Mullin60, author = {Albert A. Mullin}, title = {Correction to "Self-Dual Symmetric Switching Functions with a Certain a-Number Constraint"}, journal = {{IRE} Trans. Electron. Comput.}, volume = {9}, number = {2}, pages = {266}, year = {1960}, url = {https://doi.org/10.1109/TEC.1960.5219833}, doi = {10.1109/TEC.1960.5219833}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/Mullin60.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aieeire/Turner60, author = {Robert M. Turner}, editor = {R. M. Bennett}, title = {On the reduction of error in certain analog computer calculations by the use of constraint equations}, booktitle = {Papers presented at the 1960 western joint {IRE-AIEE-ACM} computer conference, {IRE-AIEE-ACM} 1960 (Western), San Francisco, California, USA, May 3-5, 1960}, pages = {173--180}, publisher = {{ACM}}, year = {1960}, url = {https://doi.org/10.1145/1460361.1460385}, doi = {10.1145/1460361.1460385}, timestamp = {Fri, 23 Apr 2021 17:08:37 +0200}, biburl = {https://dblp.org/rec/conf/aieeire/Turner60.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tc/Mullin59, author = {Albert A. Mullin}, title = {Self-Dual Symmetric Switching Functions with a Certain a-Number Constraint}, journal = {{IRE} Trans. Electron. Comput.}, volume = {8}, number = {4}, pages = {498--499}, year = {1959}, url = {https://doi.org/10.1109/TEC.1959.5222066}, doi = {10.1109/TEC.1959.5222066}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tc/Mullin59.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.