Výsledky vyhľadávania - "Theory and Algorithms for Application Domains"

Multimedia Information Technology and Applications

Prispievatelia: Kim, Byung-Gyu Sekiya, Hiroo Lee, Deokwoo

Predmety: Open Access, Machine Learning Algorithm, Mobile Information Processing Systems, Computer Vision Representations, Multimedia Information Systems, Artificial intelligence, Human Computer Interaction (HCI), Visualization, Theory and Algorithms for Application Domains, Graphical and digital media applications, Image processing, Virtual reality, Augmented reality (AR), Human–computer interaction

Popis súboru: application/pdf

Relation: Communications in Computer and Information Science; Computer Science; Computer Science (R0)

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/108690

Dynamic Debt Swapping in Financial Networks

Autori: Froese, Henri Hoefer, Martin Wilhelmi, Lisa a ďalší

Prispievatelia: Froese, Henri Hoefer, Martin Wilhelmi, Lisa a ďalší

Zdroj: Saarbrücken/Wadern, : Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 330, 2:[1]-2:16 (2025). doi:10.4230/LIPICS.SAND.2025.2
4th Symposium on Algorithmic Foundations of Dynamic Networks : SAND 2025, June 9–11, 2025, Liverpool, GB / Edited by Kitty Meeks, Christian Scheideler
4th Symposium on Algorithmic Foundations of Dynamic Networks : SAND 2025, June 9–11, 2025, Liverpool, GB / Edited by Kitty Meeks, Christian Scheideler4. Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2025, Liverpool, UK, 2025-06-09-2025-06-11

Predmety: Financial Networks, Debt Swap, Local Search, ddc:004, Networks → Network algorithms, Theory of computation → Theory and algorithms for application domains

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAND.2025.2
https://publications.rwth-aachen.de/record/1018317

Team Formation amidst Conflicts

Autori: Iasonas Nikolaou Evimaria Terzi

Zdroj: Proceedings of the ACM Web Conference 2024. :2417-2428

Predmety: Social Networks, Computer Science - Artificial Intelligence, Computer Science - Computer Science and Game Theory, Theory of Computation, Computer Science - Social and Information Networks, Theory and Algorithms for Application Domains, Algorithmic Game Theory and Mechanism Design

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2403.00859

The Complexity of Why-Provenance for Datalog Queries

Autori: Marco Calautti Ester Livshits Andreas Pieris a ďalší

Zdroj: Proceedings of the ACM on Management of Data. 2:1-16

Predmety: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Databases, Computer Science - Artificial Intelligence, 0202 electrical engineering, electronic engineering, information engineering, Theory of computation, Theory and algorithms for application domains, Database theory, Data provenance, Datalog, Provenance, Databases (cs.DB), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2303.12773

Online Combinatorial Allocation with Interdependent Values

Autori: Feldman, Michal Mauras, Simon Mohan, Divyarthi a ďalší

Prispievatelia: Feldman, Michal Mauras, Simon Mohan, Divyarthi a ďalší

Zdroj: EC 2025 - 26th ACM Conference on Economics and Computation ; https://hal.science/hal-05225654 ; EC 2025 - 26th ACM Conference on Economics and Computation, Jul 2025, Stanford, United States. pp.189-205, ⟨10.1145/3736252.3742518⟩

Predmety: Interdependent Valuations, Combinatorial Auctions, Online Algorithms, CCS Concepts: • Theory of computation → Theory and algorithms for application domains, Algorithmic game theory and mechanism design, [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]

Geografické téma: Stanford, United States

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2507.23500; ARXIV: 2507.23500

Dostupnosť: https://hal.science/hal-05225654
https://hal.science/hal-05225654v1/document
https://hal.science/hal-05225654v1/file/3736252.3742518.pdf
https://doi.org/10.1145/3736252.3742518

Formal Methods

Prispievatelia: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a ďalší

Predmety: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/93255

What killed the cat? Towards a logical formalization of curiosity (and suspense, and surprise) in narratives

Autori: Dupin de Saint-Cyr, Florence Bosser, Anne-Gwenn Callac, Benjamin a ďalší

Prispievatelia: Dupin de Saint-Cyr, Florence Bosser, Anne-Gwenn Callac, Benjamin a ďalší

Zdroj: LIPIcs ; 31st International Symposium on Temporal Representation and Reasoning (TIME 2024) ; https://hal.science/hal-04731383 ; 31st International Symposium on Temporal Representation and Reasoning (TIME 2024), Oct 2024, Montpellier, France. pp.10:1-10:16, ⟨10.4230/LIPIcs.TIME.2024.10⟩

Predmety: Theory of computation → Theory and algorithms for application domains, Cognition, Narration, Knowledge Representation, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Geografické téma: Montpellier, France

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2410.08597; ARXIV: 2410.08597

Dostupnosť: https://hal.science/hal-04731383
https://hal.science/hal-04731383v1/document
https://hal.science/hal-04731383v1/file/draftTime2024.pdf
https://doi.org/10.4230/LIPIcs.TIME.2024.10

PG-Keys: Keys for Property Graphs

Autori: Angles, Renzo Bonifati, Angela Dumbrava, Stefania a ďalší

Prispievatelia: Angles, Renzo Bonifati, Angela Dumbrava, Stefania a ďalší

Zdroj: Angles, R, Bonifati, A, Dumbrava, S, Fletcher, G, Hare, K W, Hidders, J, Lee, V E, Li, B, Libkin, L, Martens, W, Murlak, F, Perryman, J, Savković, O, Schmidt, M, Sequeda, J, Staworko, S & Tomaszuk, D 2021, PG-Keys: Keys for Property Graphs . in Proceedings of the 2021 International Conference on Management of Data (SIGMOD ’21) . pp. 2423-2436, ACM SIGMOD/PODS International Conference on Management Data, Xi'an, China, 20/06/21 . https://doi.org/10.1145/3448016.3457561

Predmety: Theory and algorithms for application domains, Database theory, key constraints, Database management system engines, 02 engineering and technology, Information system, Database constraints theory, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Integrity checking, Data management systems, property graphs, Theory of computation, Data modeling

Popis súboru: application/pdf

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3448016.3457561
https://inria.hal.science/hal-03189192v1
https://doi.org/10.1145/3448016.3457561
https://inria.hal.science/hal-03189192v1/document
https://2021.sigmod.org/sigmod_industrial_list.shtml#6
https://dblp.uni-trier.de/db/conf/sigmod/sigmod2021.html#AnglesBDFHHLLLM21
https://doi.org/10.1145/3448016.3457561
https://hdl.handle.net/20.500.11820/c6fa988f-78c6-4647-b49d-c36473e6d74d
https://www.pure.ed.ac.uk/ws/files/203073446/PG_KEYS_ANGLES_DOA05032021_AFV.pdf

A Sweep-plane Algorithm for Calculating the Isolation of Mountains

Autori: Funke, Daniel Hüning, Nicolai Sanders, Peter a ďalší

Prispievatelia: Funke, Daniel Hüning, Nicolai Sanders, Peter a ďalší

Predmety: Computational Geometry (cs.CG), FOS: Computer and information sciences, sweepline algorithms, 4. Education, Theory of computation → Theory and algorithms for application domains, 15. Life on land, Geo-information systems, 13. Climate action, Computer Science - Data Structures and Algorithms, computational geometry, Computer Science - Computational Geometry, Data Structures and Algorithms (cs.DS), 14. Life underwater, ddc:004

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2305.08470
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2023.51

Competitive Search in the Line and the Star with Predictions

Autori: Angelopoulos, Spyros Spyros Angelopoulos

Prispievatelia: Angelopoulos, Spyros Spyros Angelopoulos

Predmety: consistency and robustness, Search problems, Computer Science - Data Structures and Algorithms, competitive ratio, line and star search, Theory of computation → Theory and algorithms for application domains, [INFO] Computer Science [cs], ddc:004, predictions, Theory of computation → Online algorithms

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2312.17539
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2023.12
https://hal.science/hal-04248709v1
https://doi.org/10.4230/lipics.mfcs.2023.12
https://hal.science/hal-04248709v1/document

Playing Guess Who with Your Kids

Autori: Paz, Ami Peterfreund, Liat Systèmes Parallèles - LISN (ParSys) a ďalší

Prispievatelia: Paz, Ami Peterfreund, Liat Systèmes Parallèles - LISN (ParSys) a ďalší

Zdroj: FUN'22 - 11th International Conference on Fun with Algorithms ; https://hal.science/hal-04288778 ; FUN'22 - 11th International Conference on Fun with Algorithms, May 2022, Favignana, Italy. ⟨10.4230/LIPIcs.FUN.2022.23⟩

Predmety: Guess Who?, Binary Search, Error Correcting Codes, Erasure Codes, Theory of computation → Representations of games and their complexity, Theory of computation → Sorting and searching, Theory of computation → Theory and algorithms for application domains, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

Geografické téma: Favignana, Italy

Dostupnosť: https://hal.science/hal-04288778
https://hal.science/hal-04288778v1/document
https://hal.science/hal-04288778v1/file/LIPIcs.FUN.2022.23.pdf
https://doi.org/10.4230/LIPIcs.FUN.2022.23

Leximax Approximations and Representative Cohort Selection

Autori: Henzinger, Monika Peale, Charlotte Reingold, Omer a ďalší

Prispievatelia: Henzinger, Monika Peale, Charlotte Reingold, Omer a ďalší

Predmety: FOS: Computer and information sciences, cohort selection, 4. Education, leximin, fairness, 0102 computer and information sciences, 02 engineering and technology, Theory of computation → Theory and algorithms for application domains, 01 natural sciences, 3. Good health, 102031 Theoretische Informatik, maxmin, Computer Science - Computers and Society, 102031 Theoretical computer science, Computer Science - Data Structures and Algorithms, Computers and Society (cs.CY), 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), ddc:004, 10. No inequality

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2205.01157
https://ucrisportal.univie.ac.at/de/publications/571d7784-a94f-441f-86d2-e27afec0a0d7
https://doi.org/10.4230/LIPIcs.FORC.2022.2
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FORC.2022.2

On Fairness and Stability in Two-Sided Matchings

Autori: Karni, Gili Rothblum, Guy N. Yona, Gal a ďalší

Prispievatelia: Karni, Gili Rothblum, Guy N. Yona, Gal a ďalší

Predmety: FOS: Computer and information sciences, 02 engineering and technology, Theory of computation → Theory and algorithms for application domains, algorithmic fairness, 01 natural sciences, 3. Good health, Computer Science - Computers and Society, Computer Science - Computer Science and Game Theory, Computer Science - Data Structures and Algorithms, Computers and Society (cs.CY), 0202 electrical engineering, electronic engineering, information engineering, Data Structures and Algorithms (cs.DS), ddc:004, 0101 mathematics, Computer Science and Game Theory (cs.GT)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2111.10885
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2022.92

Terrain prickliness: theoretical grounds for high complexity viewsheds

Autori: Acharyya, Ankush Jallu, Ramesh Löffler, Maarten a ďalší

Prispievatelia: Acharyya, Ankush Jallu, Ramesh Löffler, Maarten a ďalší

Zdroj: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
11th International Conference on Geographic Information Science (GIScience 2021)-Part II

Predmety: Viewshed complexity, Classificació AMS::68 Computer science::68U Computing methodologies and applications, Matemàtiques i estadística::Matemàtica aplicada a les ciències [Àrees temàtiques de la UPC], Theory of computation → Theory and algorithms for application domains, Computing methodologies, Triangulated irregular network, Àrees temàtiques de la UPC::Matemàtiques i estadística::Matemàtica aplicada a les ciències, Informàtica, Polyhedral Terrain, Visibility, Digital elevation model, 68 Computer science::68U Computing methodologies and applications [Classificació AMS], ddc:004

Popis súboru: application/pdf

Prístupová URL adresa: https://research-portal.uu.nl/en/publications/6825fa18-3046-4233-b1bf-1100959069a0
https://doi.org/10.4230/LIPIcs.GIScience.2021.II.10
https://dblp.uni-trier.de/db/journals/corr/corr2103.html#abs-2103-06696
https://drops.dagstuhl.de/opus/volltexte/2021/14769/pdf/LIPIcs-GIScience-2021-II-10.pdf/
https://drops.dagstuhl.de/opus/volltexte/2021/14769/
https://dblp.uni-trier.de/db/conf/giscience/giscience2021-2.html#AcharyyaJLMSSS21
https://arxiv.org/abs/2103.06696
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GIScience.2021.II.10
http://hdl.handle.net/11104/0324652
https://dspace.library.uu.nl/handle/1874/423338

Threshold queries in theory and in the Wild

Autori: Bonifati, Angela Dumbrava, Stefania Fletcher, George a ďalší

Prispievatelia: Bonifati, Angela Dumbrava, Stefania Fletcher, George a ďalší

Zdroj: ISSN: 2150-8097.

Predmety: Information systems, Data management systems, Database management system engines, Database query processing, Query languages, Theory of computation, Theory and algorithms for application domains, Database theory, [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]

Dostupnosť: https://inria.hal.science/hal-03516360
https://inria.hal.science/hal-03516360v1/document
https://inria.hal.science/hal-03516360v1/file/staworko-vldb22.pdf
https://doi.org/10.14778/3510397.3510407

Threshold queries in theory and in the wild

Autori: Angela Bonifati Stefania Dumbrava George Fletcher a ďalší

Prispievatelia: Angela Bonifati Stefania Dumbrava George Fletcher a ďalší

Zdroj: The VLDB Journal. 34

Predmety: FOS: Computer and information sciences, Theory and algorithms for application domains, Database query processing, Database theory, Databases (cs.DB), Database management system engines, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computer Science - Databases, Query languages, 0202 electrical engineering, electronic engineering, information engineering, Information systems, [INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB], Data management systems, Theory of computation

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2106.15703
https://inria.hal.science/hal-03516360v1/document
https://inria.hal.science/hal-03516360v1
https://doi.org/10.14778/3510397.3510407

Conjunctive queries with inequalities under updates

Autori: Idris, Muhammad Ugarte, Martín Vansummeren, Stijn a ďalší

Zdroj: Proceedings of the VLDB Endowment. 11:733-745

Predmety: ddc:004, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Theory of computation, Theory and algorithms for application domains, Database theory, Database query processing and optimization (theory), 01 natural sciences, Rechentheorie, Theorie und Algorithmen für Anwendungsbereiche, Datenbanktheorie, Verarbeitung und Optimierung von Datenbankabfragen (Theorie)

Prístupová URL adresa: https://tud.qucosa.de/api/qucosa%3A33726/attachment/ATT-0/
http://www.vldb.org/pvldb/vol11/p733-idris.pdf
https://dl.acm.org/doi/10.14778/3192965.3192966
https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/279063/Details
http://dblp.uni-trier.de/db/journals/pvldb/pvldb11.html#IdrisUVVL18
https://dblp.uni-trier.de/db/journals/pvldb/pvldb11.html#IdrisUVVL18
https://tud.qucosa.de/id/qucosa:79472
https://tud.qucosa.de/api/qucosa:79472/attachment/ATT-0/

Enhanced Neuromorphic Semantic Segmentation Latency Through Stream Event

Autori: Hareb, Dalia Martinet, Jean Miramond, Benoit a ďalší

Prispievatelia: Hareb, Dalia Martinet, Jean Miramond, Benoit a ďalší

Zdroj: Communications in Computer and Information Science ; Neural Information Processing. ICONIP 2024 ; https://hal.science/hal-05135310 ; Neural Information Processing. ICONIP 2024, Dec 2024, Auckland, New Zealand. pp.46-30, ⟨10.1007/978-981-96-6975-2_4⟩ ; https://link.springer.com/chapter/10.1007/978-981-96-6975-2_4

Predmety: Information retrieval, Artificial intelligence, Machine learning, Theory and algorithms for application domains, Semantics and reasoning, Information theory, Information systems applications, Human-centered computing, Collaborative and social computing, Information systems, Document management and text processing, Education, Operations research, Physical sciences and engineering, Applied computing, Visualization, Ubiquitous and mobile computing, [INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE]

Geografické téma: Auckland, New Zealand

Dostupnosť: https://hal.science/hal-05135310
https://doi.org/10.1007/978-981-96-6975-2_4

LIPIcs, Volume 149, ISAAC'19, Complete Volume

Autori: Lu, Pinyan Zhang, Guochuan Pinyan Lu and Guochuan Zhang

Prispievatelia: Lu, Pinyan Zhang, Guochuan Pinyan Lu and Guochuan Zhang

Predmety: Computational complexity and cryptography, Theory and algorithms for application domains, Models of computation, Theory of computation, Randomness, geometry and discrete structures, Design and analysis of algorithms, geometry and discrete structures, ddc:004, Randomness

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2019

Formal Methods ; 978-3-031-71177-0.pdf

Prispievatelia: Platzer, Andre Rozier, Kristin Yvonne Pradella, Matteo a ďalší

Predmety: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general, thema EDItEUR::U Computing and Information Technology::UK Computer hardware, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; ONIX_20240913_9783031711770_29

Dostupnosť: https://library.oapen.org/handle/20.500.12657/93255
https://hdl.handle.net/20.500.12657/93255
https://link.springer.com/978-3-031-71177-0