default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "Jirí Isa"
download as .bib file
@article{DBLP:journals/tmlr/SinghCAAPGLH0XP24,
author = {Avi Singh and
John D. Co{-}Reyes and
Rishabh Agarwal and
Ankesh Anand and
Piyush Patil and
Xavier Garcia and
Peter J. Liu and
James Harrison and
Jaehoon Lee and
Kelvin Xu and
Aaron T. Parisi and
Abhishek Kumar and
Alexander A. Alemi and
Alex Rizkowsky and
Azade Nova and
Ben Adlam and
Bernd Bohnet and
Gamaleldin Fathy Elsayed and
Hanie Sedghi and
Igor Mordatch and
Isabelle Simpson and
Izzeddin Gur and
Jasper Snoek and
Jeffrey Pennington and
Jiri Hron and
Kathleen Kenealy and
Kevin Swersky and
Kshiteej Mahajan and
Laura Culp and
Lechao Xiao and
Maxwell L. Bileschi and
Noah Constant and
Roman Novak and
Rosanne Liu and
Tris Warkentin and
Yundi Qian and
Yamini Bansal and
Ethan Dyer and
Behnam Neyshabur and
Jascha Sohl{-}Dickstein and
Noah Fiedel},
title = {Beyond Human Data: Scaling Self-Training for Problem-Solving with
Language Models},
journal = {Trans. Mach. Learn. Res.},
volume = {2024},
year = {2024},
url = {https://openreview.net/forum?id=lNAyUngGFK},
timestamp = {Thu, 08 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmlr/SinghCAAPGLH0XP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-07852,
author = {Jiri Hron and
Laura Culp and
Gamaleldin F. Elsayed and
Rosanne Liu and
Ben Adlam and
Maxwell L. Bileschi and
Bernd Bohnet and
JD Co{-}Reyes and
Noah Fiedel and
C. Daniel Freeman and
Izzeddin Gur and
Kathleen Kenealy and
Jaehoon Lee and
Peter J. Liu and
Gaurav Mishra and
Igor Mordatch and
Azade Nova and
Roman Novak and
Aaron Parisi and
Jeffrey Pennington and
Alex Rizkowsky and
Isabelle Simpson and
Hanie Sedghi and
Jascha Sohl{-}Dickstein and
Kevin Swersky and
Sharad Vikram and
Tris Warkentin and
Lechao Xiao and
Kelvin Xu and
Jasper Snoek and
Simon Kornblith},
title = {Training Language Models on the Knowledge Graph: Insights on Hallucinations
and Their Detectability},
journal = {CoRR},
volume = {abs/2408.07852},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.07852},
doi = {10.48550/ARXIV.2408.07852},
eprinttype = {arXiv},
eprint = {2408.07852},
timestamp = {Mon, 23 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-07852.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-06585,
author = {Avi Singh and
John D. Co{-}Reyes and
Rishabh Agarwal and
Ankesh Anand and
Piyush Patil and
Xavier Garcia and
Peter J. Liu and
James Harrison and
Jaehoon Lee and
Kelvin Xu and
Aaron Parisi and
Abhishek Kumar and
Alex Alemi and
Alex Rizkowsky and
Azade Nova and
Ben Adlam and
Bernd Bohnet and
Gamaleldin F. Elsayed and
Hanie Sedghi and
Igor Mordatch and
Isabelle Simpson and
Izzeddin Gur and
Jasper Snoek and
Jeffrey Pennington and
Jiri Hron and
Kathleen Kenealy and
Kevin Swersky and
Kshiteej Mahajan and
Laura Culp and
Lechao Xiao and
Maxwell L. Bileschi and
Noah Constant and
Roman Novak and
Rosanne Liu and
Tris Warkentin and
Yundi Qian and
Yamini Bansal and
Ethan Dyer and
Behnam Neyshabur and
Jascha Sohl{-}Dickstein and
Noah Fiedel},
title = {Beyond Human Data: Scaling Self-Training for Problem-Solving with
Language Models},
journal = {CoRR},
volume = {abs/2312.06585},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.06585},
doi = {10.48550/ARXIV.2312.06585},
eprinttype = {arXiv},
eprint = {2312.06585},
timestamp = {Thu, 04 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-06585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KaufmannLS20,
author = {Isabella Kaufmann and
Kim Guldstrand Larsen and
Jir{\'{\i}} Srba},
editor = {Ryszard Janicki and
Natalia Sidorova and
Thomas Chatain},
title = {Synthesis for Multi-weighted Games with Branching-Time Winning Conditions},
booktitle = {Application and Theory of Petri Nets and Concurrency - 41st International
Conference, {PETRI} {NETS} 2020, Paris, France, June 24-25, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12152},
pages = {46--66},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51831-8\_3},
doi = {10.1007/978-3-030-51831-8\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/KaufmannLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/JensenKLNS19,
author = {Lasse S. Jensen and
Isabella Kaufmann and
Kim G. Larsen and
S{\o}ren M. Nielsen and
Jir{\'{\i}} Srba},
title = {Model checking and synthesis for branching multi-weighted logics},
journal = {J. Log. Algebraic Methods Program.},
volume = {105},
pages = {28--46},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.02.001},
doi = {10.1016/J.JLAMP.2019.02.001},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/JensenKLNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ral/WallyVNHSKMW19,
author = {Bernhard Wally and
Jir{\'{\i}} Vyskocil and
Petr Nov{\'{a}}k and
Christian Huemer and
Radek Sindel{\'{a}}r and
Petr Kadera and
Alexandra Mazak and
Manuel Wimmer},
title = {Flexible Production Systems: Automated Generation of Operations Plans
Based on {ISA-95} and {PDDL}},
journal = {{IEEE} Robotics Autom. Lett.},
volume = {4},
number = {4},
pages = {4062--4069},
year = {2019},
url = {https://doi.org/10.1109/LRA.2019.2929991},
doi = {10.1109/LRA.2019.2929991},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ral/WallyVNHSKMW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-05481,
author = {Bernhard Wally and
Jir{\'{\i}} Vyskocil and
Petr Nov{\'{a}}k and
Christian Huemer and
Radek Sindel{\'{a}}r and
Petr Kadera and
Alexandra Mazak and
Manuel Wimmer},
title = {Flexible Production Systems: Automated Generation of Operations Plans
Based on {ISA-95} and {PDDL}},
journal = {CoRR},
volume = {abs/1911.05481},
year = {2019},
url = {http://arxiv.org/abs/1911.05481},
eprinttype = {arXiv},
eprint = {1911.05481},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-05481.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DalsgaardEFJJJK18,
author = {Andreas Engelbredt Dalsgaard and
S{\o}ren Enevoldsen and
Peter Fogh and
Lasse S. Jensen and
Peter Gj{\o}l Jensen and
Tobias Skovgaard Jepsen and
Isabella Kaufmann and
Kim G. Larsen and
S{\o}ren M. Nielsen and
Mads Chr. Olesen and
Samuel Pastva and
Jir{\'{\i}} Srba},
title = {A Distributed Fixed-Point Algorithm for Extended Dependency Graphs},
journal = {Fundam. Informaticae},
volume = {161},
number = {4},
pages = {351--381},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1707},
doi = {10.3233/FI-2018-1707},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DalsgaardEFJJJK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/KristanLMFPZVBL18,
author = {Matej Kristan and
Ales Leonardis and
Jiri Matas and
Michael Felsberg and
Roman P. Pflugfelder and
Luka Cehovin Zajc and
Tom{\'{a}}s Voj{\'{\i}}r and
Goutam Bhat and
Alan Lukezic and
Abdelrahman Eldesokey and
Gustavo Fern{\'{a}}ndez and
{\'{A}}lvaro Garc{\'{\i}}a{-}Mart{\'{\i}}n and
{\'{A}}lvaro Iglesias{-}Arias and
A. Aydin Alatan and
Abel Gonz{\'{a}}lez{-}Garc{\'{\i}}a and
Alfredo Petrosino and
Alireza Memarmoghadam and
Andrea Vedaldi and
Andrej Muhic and
Anfeng He and
Arnold W. M. Smeulders and
Asanka G. Perera and
Bo Li and
Boyu Chen and
Changick Kim and
Changsheng Xu and
Changzhen Xiong and
Cheng Tian and
Chong Luo and
Chong Sun and
Cong Hao and
Daijin Kim and
Deepak Mishra and
Deming Chen and
Dong Wang and
Dongyoon Wee and
Efstratios Gavves and
Erhan Gundogdu and
Erik Velasco{-}Salido and
Fahad Shahbaz Khan and
Fan Yang and
Fei Zhao and
Feng Li and
Francesco Battistone and
George De Ath and
Gorthi R. K. Sai Subrahmanyam and
Guilherme Sousa Bastos and
Haibin Ling and
Hamed Kiani Galoogahi and
Hankyeol Lee and
Haojie Li and
Haojie Zhao and
Heng Fan and
Honggang Zhang and
Horst Possegger and
Houqiang Li and
Huchuan Lu and
Hui Zhi and
Huiyun Li and
Hyemin Lee and
Hyung Jin Chang and
Isabela Drummond and
Jack Valmadre and
Jaime Spencer Martin and
Javaan Singh Chahl and
Jin Young Choi and
Jing Li and
Jinqiao Wang and
Jinqing Qi and
Jinyoung Sung and
Joakim Johnander and
Jo{\~{a}}o F. Henriques and
Jongwon Choi and
Joost van de Weijer and
Jorge Rodr{\'{\i}}guez Herranz and
Jos{\'{e}} M. Mart{\'{\i}}nez and
Josef Kittler and
Junfei Zhuang and
Junyu Gao and
Klemen Grm and
Lichao Zhang and
Lijun Wang and
Lingxiao Yang and
Litu Rout and
Liu Si and
Luca Bertinetto and
Lutao Chu and
Manqiang Che and
Mario Edoardo Maresca and
Martin Danelljan and
Ming{-}Hsuan Yang and
Mohamed H. Abdelpakey and
Mohamed S. Shehata and
Myunggu Kang and
Namhoon Lee and
Ning Wang and
Ondrej Miksik and
Payman Moallem and
Pablo Vicente{-}Mo{\~{n}}ivar and
Pedro Senna and
Peixia Li and
Philip H. S. Torr and
Priya Mariam Raju and
Ruihe Qian and
Qiang Wang and
Qin Zhou and
Qing Guo and
Rafael Martin Nieto and
Rama Krishna Sai Subrahmanyam Gorthi and
Ran Tao and
Richard Bowden and
Richard M. Everson and
Runling Wang and
Sangdoo Yun and
Seokeon Choi and
Sergio Vivas and
Shuai Bai and
Shuangping Huang and
Sihang Wu and
Simon Hadfield and
Siwen Wang and
Stuart Golodetz and
Ming Tang and
Tianyang Xu and
Tianzhu Zhang and
Tobias Fischer and
Vincenzo Santopietro and
Vitomir Struc and
Wei Wang and
Wangmeng Zuo and
Wei Feng and
Wei Wu and
Wei Zou and
Weiming Hu and
Wengang Zhou and
Wenjun Zeng and
Xiaofan Zhang and
Xiaohe Wu and
Xiao{-}Jun Wu and
Xinmei Tian and
Yan Li and
Yan Lu and
Yee Wei Law and
Yi Wu and
Yiannis Demiris and
Yicai Yang and
Yifan Jiao and
Yuhong Li and
Yunhua Zhang and
Yuxuan Sun and
Zheng Zhang and
Zheng Zhu and
Zhenhua Feng and
Zhihui Wang and
Zhiqun He},
editor = {Laura Leal{-}Taix{\'{e}} and
Stefan Roth},
title = {The Sixth Visual Object Tracking {VOT2018} Challenge Results},
booktitle = {Computer Vision - {ECCV} 2018 Workshops - Munich, Germany, September
8-14, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11129},
pages = {3--53},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-11009-3\_1},
doi = {10.1007/978-3-030-11009-3\_1},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccv/KristanLMFPZVBL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/DalsgaardEFJJKL17,
author = {Andreas Engelbredt Dalsgaard and
S{\o}ren Enevoldsen and
Peter Fogh and
Lasse S. Jensen and
Tobias Skovgaard Jepsen and
Isabella Kaufmann and
Kim G. Larsen and
S{\o}ren M. Nielsen and
Mads Chr. Olesen and
Samuel Pastva and
Jir{\'{\i}} Srba},
editor = {Wil M. P. van der Aalst and
Eike Best},
title = {Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation},
booktitle = {Application and Theory of Petri Nets and Concurrency - 38th International
Conference, {PETRI} {NETS} 2017, Zaragoza, Spain, June 25-30, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10258},
pages = {139--158},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57861-3\_10},
doi = {10.1007/978-3-319-57861-3\_10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/DalsgaardEFJJKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ddecs/IsaM17,
author = {Radek Isa and
Jir{\'{\i}} Matousek},
editor = {Manfred Dietrich and
Ondrej Nov{\'{a}}k},
title = {A novel architecture for {LZSS} compression of configuration bitstreams
within {FPGA}},
booktitle = {20th {IEEE} International Symposium on Design and Diagnostics of Electronic
Circuits {\&} Systems, {DDECS} 2017, Dresden, Germany, April 19-21,
2017},
pages = {171--176},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/DDECS.2017.7934587},
doi = {10.1109/DDECS.2017.7934587},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/ddecs/IsaM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccvw/KristanLMFPZVHL17,
author = {Matej Kristan and
Ales Leonardis and
Jiri Matas and
Michael Felsberg and
Roman P. Pflugfelder and
Luka Cehovin Zajc and
Tomas Vojir and
Gustav H{\"{a}}ger and
Alan Lukezic and
Abdelrahman Eldesokey and
Gustavo Fern{\'{a}}ndez and
{\'{A}}lvaro Garc{\'{\i}}a{-}Mart{\'{\i}}n and
Andrej Muhic and
Alfredo Petrosino and
Alireza Memarmoghadam and
Andrea Vedaldi and
Antoine Manzanera and
Antoine Tran and
A. Aydin Alatan and
Bogdan Mocanu and
Boyu Chen and
Chang Huang and
Changsheng Xu and
Chong Sun and
Dalong Du and
David Zhang and
Dawei Du and
Deepak Mishra and
Erhan Gundogdu and
Erik Velasco{-}Salido and
Fahad Shahbaz Khan and
Francesco Battistone and
Gorthi R. K. Sai Subrahmanyam and
Goutam Bhat and
Guan Huang and
Guilherme Sousa Bastos and
Guna Seetharaman and
Hongliang Zhang and
Houqiang Li and
Huchuan Lu and
Isabela Drummond and
Jack Valmadre and
Jae{-}chan Jeong and
Jaeil Cho and
Jae{-}Yeong Lee and
Jana Noskova and
Jianke Zhu and
Jin Gao and
Jingyu Liu and
Ji{-}Wan Kim and
Jo{\~{a}}o F. Henriques and
Jos{\'{e}} M. Mart{\'{\i}}nez and
Junfei Zhuang and
Junliang Xing and
Junyu Gao and
Kai Chen and
Kannappan Palaniappan and
Karel Lebeda and
Ke Gao and
Kris M. Kitani and
Lei Zhang and
Lijun Wang and
Lingxiao Yang and
Longyin Wen and
Luca Bertinetto and
Mahdieh Poostchi and
Martin Danelljan and
Matthias Mueller and
Mengdan Zhang and
Ming{-}Hsuan Yang and
Nianhao Xie and
Ning Wang and
Ondrej Miksik and
Payman Moallem and
Pallavi M. Venugopal and
Pedro Senna and
Philip H. S. Torr and
Qiang Wang and
Qifeng Yu and
Qingming Huang and
Rafael Martin Nieto and
Richard Bowden and
Risheng Liu and
Ruxandra Tapu and
Simon Hadfield and
Siwei Lyu and
Stuart Golodetz and
Sunglok Choi and
Tianzhu Zhang and
Titus B. Zaharia and
Vincenzo Santopietro and
Wei Zou and
Weiming Hu and
Wenbing Tao and
Wenbo Li and
Wengang Zhou and
Xianguo Yu and
Xiao Bian and
Yang Li and
Yifan Xing and
Yingruo Fan and
Zheng Zhu and
Zhipeng Zhang and
Zhiqun He},
title = {The Visual Object Tracking {VOT2017} Challenge Results},
booktitle = {2017 {IEEE} International Conference on Computer Vision Workshops,
{ICCV} Workshops 2017, Venice, Italy, October 22-29, 2017},
pages = {1949--1972},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICCVW.2017.230},
doi = {10.1109/ICCVW.2017.230},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccvw/KristanLMFPZVHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/IsakovicGRKPKGE17,
author = {Haris Isakovic and
Radu Grosu and
Denise Ratasich and
Jiri Kadlec and
Zdenek Pohl and
Steve Kerrison and
Kyriakos Georgiou and
Kerstin Eder and
Norbert Druml and
Lillian Tadros and
Flemming Christensen and
Emilie Wheatley and
Bastian Farkas and
Rolf Meyer and
Mladen Berekovic},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {A Survey of Hardware Technologies for Mixed-Critical Integration Explored
in the Project {EMC2}},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2017 Workshops,
ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September
12, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10489},
pages = {127--140},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66284-8\_12},
doi = {10.1007/978-3-319-66284-8\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/IsakovicGRKPKGE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eccv/KristanLMFPCVHL16,
author = {Matej Kristan and
Ales Leonardis and
Jiri Matas and
Michael Felsberg and
Roman P. Pflugfelder and
Luka Cehovin and
Tom{\'{a}}s Voj{\'{\i}}r and
Gustav H{\"{a}}ger and
Alan Lukezic and
Gustavo Fern{\'{a}}ndez and
Abhinav Gupta and
Alfredo Petrosino and
Alireza Memarmoghadam and
{\'{A}}lvaro Garc{\'{\i}}a{-}Mart{\'{\i}}n and
Andr{\'{e}}s Sol{\'{\i}}s Montero and
Andrea Vedaldi and
Andreas Robinson and
Andy Jinhua Ma and
Anton Varfolomieiev and
A. Aydin Alatan and
Aykut Erdem and
Bernard Ghanem and
Bin Liu and
Bohyung Han and
Brais Mart{\'{\i}}nez and
Chang{-}Ming Chang and
Changsheng Xu and
Chong Sun and
Daijin Kim and
Dapeng Chen and
Dawei Du and
Deepak Mishra and
Dit{-}Yan Yeung and
Erhan Gundogdu and
Erkut Erdem and
Fahad Shahbaz Khan and
Fatih Porikli and
Fei Zhao and
Filiz Bunyak and
Francesco Battistone and
Gao Zhu and
Giorgio Roffo and
Gorthi R. K. Sai Subrahmanyam and
Guilherme Sousa Bastos and
Guna Seetharaman and
Henry Medeiros and
Hongdong Li and
Honggang Qi and
Horst Bischof and
Horst Possegger and
Huchuan Lu and
Hyemin Lee and
Hyeonseob Nam and
Hyung Jin Chang and
Isabela Drummond and
Jack Valmadre and
Jae{-}chan Jeong and
Jaeil Cho and
Jae{-}Yeong Lee and
Jianke Zhu and
Jiayi Feng and
Jin Gao and
Jin Young Choi and
Jingjing Xiao and
Ji{-}Wan Kim and
Jiyeoup Jeong and
Jo{\~{a}}o F. Henriques and
Jochen Lang and
Jongwon Choi and
Jos{\'{e}} M. Mart{\'{\i}}nez and
Junliang Xing and
Junyu Gao and
Kannappan Palaniappan and
Karel Lebeda and
Ke Gao and
Krystian Mikolajczyk and
Lei Qin and
Lijun Wang and
Longyin Wen and
Luca Bertinetto and
Madan Kumar Rapuru and
Mahdieh Poostchi and
Mario Edoardo Maresca and
Martin Danelljan and
Matthias Mueller and
Mengdan Zhang and
Michael Arens and
Michel F. Valstar and
Ming Tang and
Mooyeol Baek and
Muhammad Haris Khan and
Naiyan Wang and
Nana Fan and
Noor Al{-}Shakarji and
Ondrej Miksik and
Osman Akin and
Payman Moallem and
Pedro Senna and
Philip H. S. Torr and
Pong C. Yuen and
Qingming Huang and
Rafael Martin Nieto and
Rengarajan Pelapur and
Richard Bowden and
Robert Lagani{\`{e}}re and
Rustam Stolkin and
Ryan Walsh and
Sebastian Bernd Krah and
Shengkun Li and
Shengping Zhang and
Shizeng Yao and
Simon Hadfield and
Simone Melzi and
Siwei Lyu and
Siyi Li and
Stefan Becker and
Stuart Golodetz and
Sumithra Kakanuru and
Sunglok Choi and
Tao Hu and
Thomas Mauthner and
Tianzhu Zhang and
Tony P. Pridmore and
Vincenzo Santopietro and
Weiming Hu and
Wenbo Li and
Wolfgang H{\"{u}}bner and
Xiangyuan Lan and
Xiaomeng Wang and
Xin Li and
Yang Li and
Yiannis Demiris and
Yifan Wang and
Yuankai Qi and
Zejian Yuan and
Zexiong Cai and
Zhan Xu and
Zhenyu He and
Zhizhen Chi},
editor = {Gang Hua and
Herv{\'{e}} J{\'{e}}gou},
title = {The Visual Object Tracking {VOT2016} Challenge Results},
booktitle = {Computer Vision - {ECCV} 2016 Workshops - Amsterdam, The Netherlands,
October 8-10 and 15-16, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9914},
pages = {777--823},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48881-3\_54},
doi = {10.1007/978-3-319-48881-3\_54},
timestamp = {Tue, 12 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eccv/KristanLMFPCVHL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/BohmCJLSV16,
author = {Martin B{\"{o}}hm and
Marek Chrobak and
Lukasz Jez and
Fei Li and
Jir{\'{\i}} Sgall and
Pavel Vesel{\'{y}}},
editor = {Seok{-}Hee Hong},
title = {Online Packet Scheduling with Bounded Delay and Lookahead},
booktitle = {27th International Symposium on Algorithms and Computation, {ISAAC}
2016, December 12-14, 2016, Sydney, Australia},
series = {LIPIcs},
volume = {64},
pages = {21:1--21:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2016.21},
doi = {10.4230/LIPICS.ISAAC.2016.21},
timestamp = {Thu, 27 Apr 2023 14:57:19 +0200},
biburl = {https://dblp.org/rec/conf/isaac/BohmCJLSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KlavikOS16,
author = {Pavel Klav{\'{\i}}k and
Yota Otachi and
Jir{\'{\i}} Sejnoha},
editor = {Seok{-}Hee Hong},
title = {On the Classes of Interval Graphs of Limited Nesting and Count of
Lengths},
booktitle = {27th International Symposium on Algorithms and Computation, {ISAAC}
2016, December 12-14, 2016, Sydney, Australia},
series = {LIPIcs},
volume = {64},
pages = {45:1--45:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2016.45},
doi = {10.4230/LIPICS.ISAAC.2016.45},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaac/KlavikOS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/FolwarcznyS15,
author = {Luk'av{s} Folwarczn'y and
Jir{\'{\i}} Sgall},
editor = {Khaled M. Elbassioni and
Kazuhisa Makino},
title = {General Caching Is Hard: Even with Small Pages},
booktitle = {Algorithms and Computation - 26th International Symposium, {ISAAC}
2015, Nagoya, Japan, December 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9472},
pages = {116--126},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48971-0\_11},
doi = {10.1007/978-3-662-48971-0\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaac/FolwarcznyS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/IsaRS12,
author = {Jir{\'{\i}} Isa and
Zuzana Reitermanov{\'{a}} and
Ondrej S{\'{y}}kora},
editor = {M{\'{a}}ria Bielikov{\'{a}} and
Gerhard Friedrich and
Georg Gottlob and
Stefan Katzenbeisser and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {Cost-Sensitive Classification with Unconstrained Influence Diagrams},
booktitle = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7147},
pages = {625--636},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27660-6\_51},
doi = {10.1007/978-3-642-27660-6\_51},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/IsaRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isabel/Grim11,
author = {Jir{\'{\i}} Grim},
editor = {Simone Frattasi and
Nicola Marchetti},
title = {Preprocessing of screening mammograms based on local statistical models},
booktitle = {Proceedings of the 4th International Symposium on Applied Sciences
in Biomedical and Communication Technologies, {ISABEL} '11, Barcelona,
Spain, October 26-29, 2011},
pages = {6:1--6:4},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2093698.2093704},
doi = {10.1145/2093698.2093704},
timestamp = {Tue, 06 Nov 2018 16:57:31 +0100},
biburl = {https://dblp.org/rec/conf/isabel/Grim11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isabel/KroutilLH11,
author = {Jiri Kroutil and
Alexandr Laposa and
Miroslav Husak},
editor = {Simone Frattasi and
Nicola Marchetti},
title = {Respiration monitoring during sleeping},
booktitle = {Proceedings of the 4th International Symposium on Applied Sciences
in Biomedical and Communication Technologies, {ISABEL} '11, Barcelona,
Spain, October 26-29, 2011},
pages = {33:1--33:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2093698.2093731},
doi = {10.1145/2093698.2093731},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isabel/KroutilLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isabel/SmitalVK11,
author = {Luk{\'{a}}s Smital and
Martin V{\'{\i}}tek and
Jir{\'{\i}} Kozumpl{\'{\i}}k},
editor = {Simone Frattasi and
Nicola Marchetti},
title = {Optimization of the wavelet Wiener filtering for {ECG} signals},
booktitle = {Proceedings of the 4th International Symposium on Applied Sciences
in Biomedical and Communication Technologies, {ISABEL} '11, Barcelona,
Spain, October 26-29, 2011},
pages = {36:1--36:5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2093698.2093734},
doi = {10.1145/2093698.2093734},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isabel/SmitalVK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/IsaRS09,
author = {Jir{\'{\i}} Isa and
Zuzana Reitermanov{\'{a}} and
Ondrej S{\'{y}}kora},
editor = {M. Arif Wani and
Mehmed M. Kantardzic and
Vasile Palade and
Lukasz A. Kurgan and
Yuan (Alan) Qi},
title = {On the Complexity of General Solution DAGs},
booktitle = {International Conference on Machine Learning and Applications, {ICMLA}
2009, Miami Beach, Florida, USA, December 13-15, 2009},
pages = {673--678},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICMLA.2009.78},
doi = {10.1109/ICMLA.2009.78},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmla/IsaRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/IsaLRS07,
author = {Jir{\'{\i}} Isa and
Viliam Lis{\'{y}} and
Zuzana Reitermanov{\'{a}} and
Ondrej S{\'{y}}kora},
title = {Unconstrained Influence Diagram Solver: Guido},
booktitle = {19th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2007), October 29-31, 2007, Patras, Greece, Volume 1},
pages = {24--27},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICTAI.2007.136},
doi = {10.1109/ICTAI.2007.136},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/IsaLRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/Marullo-ReedtzCWSIBRFSDNVRGRJJPTYWSLNLFE05,
author = {Giancarlo Marullo{-}Reedtz and
Roberto Cerri and
Wolfgang Waldmann and
Jiri Streit and
Pekka Immonen and
Isabelle Blanc and
Felix Raso and
Torsten Funck and
Bernd Schumacher and
Erik F. Dierikx and
M{\'{a}}rio Nunes and
Peter Vrabcek and
Dusan Rudohradsky and
Ove Gunnarsson and
Karl{-}Erik Rydler and
Blaise Jeanneret and
Beat Jeckelmann and
Thomas Pulfer and
Saliha Selcik Turhan and
Okan Yilmaz and
Jonathan M. Williams and
Harald Slinde and
K{\aa}re Lind and
Jacques Nicolas and
Matjaz Lindic and
Eirini Flouda and
G{\'{a}}bor Erd{\"{o}}s},
title = {Comparison {EUROMET.EM-K8} of {DC} voltage ratio: results},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {54},
number = {2},
pages = {576--579},
year = {2005},
url = {https://doi.org/10.1109/TIM.2004.843481},
doi = {10.1109/TIM.2004.843481},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tim/Marullo-ReedtzCWSIBRFSDNVRGRJJPTYWSLNLFE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/MelcherSPWGCCMCJJOBRPMNLG03,
author = {J{\"{u}}rgen Melcher and
J{\"{u}}rgen Schurr and
Klaus Pierz and
Jonathan M. Williams and
Stephen P. Giblin and
Franco Cabiati and
Luca Callegaro and
Giancarlo Marullo{-}Reedtz and
Cristina Cassiago and
Beat Jeckelmann and
Blaise Jeanneret and
Fr{\'{e}}d{\'{e}}ric Overney and
Jaroslav Bohacek and
Jir{\'{\i}} Riha and
Oliver Power and
John Murray and
M{\'{a}}rio Nunes and
M{\'{a}}rio Lobo and
Isabel Godinho},
title = {The European {ACQHE} project: modular system for the calibration of
capacitance standards based on the quantum Hall effect},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {52},
number = {2},
pages = {563--568},
year = {2003},
url = {https://doi.org/10.1109/TIM.2003.810731},
doi = {10.1109/TIM.2003.810731},
timestamp = {Wed, 15 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tim/MelcherSPWGCCMCJJOBRPMNLG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/BampisCFFI02,
author = {Evripidis Bampis and
Massimiliano Caramia and
Jir{\'{\i}} Fiala and
Aleksei V. Fishkin and
Antonio Iovanella},
editor = {Prosenjit Bose and
Pat Morin},
title = {Scheduling of Independent Dedicated Multiprocessor Tasks},
booktitle = {Algorithms and Computation, 13th International Symposium, {ISAAC}
2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2518},
pages = {391--402},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36136-7\_35},
doi = {10.1007/3-540-36136-7\_35},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/BampisCFFI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/FialaK01,
author = {Jir{\'{\i}} Fiala and
Jan Kratochv{\'{\i}}l},
editor = {Peter Eades and
Tadao Takaoka},
title = {Complexity of Partial Covers of Graphs},
booktitle = {Algorithms and Computation, 12th International Symposium, {ISAAC}
2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2223},
pages = {537--549},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45678-3\_46},
doi = {10.1007/3-540-45678-3\_46},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/FialaK01.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.
retrieved on 2025-01-30 17:25 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
