Search dblp for Publications

export results for "certain constraint"

 download as .bib file

@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}
}