Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Olena Horokh, Martin Böhm 0003, Thomas Schmid |
A Parallelized Genitor II Implementation For Training Semiring Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO Companion ![In: Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023, pp. 287-290, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jirí Mockor |
Elements of Relational Power Set Theories for Semiring-Valued Fuzzy Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT/AGOP ![In: Fuzzy Logic and Technology, and Aggregation Operators - 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings, pp. 61-73, 2023, Springer, 978-3-031-39964-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Peñaloza |
Semiring Provenance in Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023., 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Oscar Chang, Dongseong Hwang, Olivier Siohan |
Revisiting the Entropy Semiring for Neural Speech Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Andreas Opedal, Ran Zmigrod, Tim Vieira, Ryan Cotterell, Jason Eisner |
Efficient Semiring-Weighted Earley Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2023, Toronto, Canada, July 9-14, 2023., pp. 3687-3713, 2023, Association for Computational Linguistics, 978-1-959429-72-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | G. Muhiuddin, J. Catherine Grace John, Balasubramanian Elavarasan, Kasi Porselvi, Deena Al-Kadi |
Properties of k-hybrid ideals in ternary semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 42(6), pp. 5799-5807, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Susmit Bagchi |
Topological Sigma-Semiring Separation and Ordered Measures in Noetherian Hyperconvexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 14(2), pp. 422, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Christopher Perry, Péter Vrana, Albert H. Werner |
The Semiring of Dichotomies and Asymptotic Relative Submajorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 68(1), pp. 311-321, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ambroise Baril, Miguel Couceiro, Victor Lagerkvist |
Component twin-width as a parameter for BINARY-CSP and its semiring generalisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.12368, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke |
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.03425, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Scott Kovach, Fredrik Kjolstad |
Correct Compilation of Semiring Contractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.13291, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Émile Naquin, Maximilien Gadouleau |
Factorisation in the semiring of finite dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.11270, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo |
Revisiting Semiring Provenance for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.10766, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Luanzheng Guo, Rizwan A. Ashraf, Ryan D. Friese, Gokcen Kestor |
Towards Supporting Semiring in MLIR-Based COMET Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, PACT 2022, Chicago, Illinois, October 8-12, 2022, pp. 542-543, 2022, ACM, 978-1-4503-9868-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke |
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022, pp. 41:1-41:12, 2022, ACM, 978-1-4503-9351-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jirí Mockor, Petr Hurtík |
Semiring-Valued Fuzzy Rough Sets and Colour Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDAI ![In: Modeling Decisions for Artificial Intelligence - 19th International Conference, MDAI 2022, Sant Cugat, Spain, August 30 - September 2, 2022, Proceedings, pp. 38-50, 2022, Springer, 978-3-031-13447-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jirí Mockor |
Applications of Monads in Semiring-Valued Fuzzy Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU (1) ![In: Information Processing and Management of Uncertainty in Knowledge-Based Systems - 19th International Conference, IPMU 2022, Milan, Italy, July 11-15, 2022, Proceedings, Part I, pp. 320-331, 2022, Springer, 978-3-031-08970-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Georgios Drakopoulos, Phivos Mylonas |
A Genetic Algorithm For Boolean Semiring Matrix Factorization With Applications To Graph Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Big Data ![In: IEEE International Conference on Big Data, Big Data 2022, Osaka, Japan, December 17-20, 2022, pp. 3864-3870, 2022, IEEE, 978-1-6654-8045-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Noureddine Mouhoub, Mohamed Lamine Lamali, Damien Magoni |
Semiring Algebraic Structure for Metarouting with Automatic Tunneling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 30th IEEE International Conference on Network Protocols, ICNP 2022, Lexington, KY, USA, October 30 - Nov. 2, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-8234-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo |
Revisiting Semiring Provenance for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022., 2022, 978-1-956792-01-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Corey J. Nolet, Divye Gala, Edward Raff, Joe Eaton, Brad Rees, Tim Oates 0001 |
GPU Semiring Primitives for Sparse Neighborhood Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLSys ![In: Proceedings of Machine Learning and Systems 2022, MLSys 2022, Santa Clara, CA, USA, August 29 - September 1, 2022, 2022, mlsys.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Yann Ramusat |
The Semiring-Based Provenance Framework for Graph Databases. (Provenance à base de semi-anneaux pour les bases de données graphes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
20 | Shyam Sundar Santra, Prabhakaran Victor, Mahadevan Chandramouleeswaran, Rami Ahmad El-Nabulsi, Khaled Mohamed Khedher, Vediyappan Govindan |
Connectivity of Semiring Valued Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(7), pp. 1227, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Erich Grädel, Niels Lücking, Matthias Naaf |
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.12892, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Corey J. Nolet, Divye Gala, Edward Raff, Joe Eaton, Brad Rees, John Zedlewski, Tim Oates 0001 |
Semiring Primitives for Sparse Neighborhood Methods on the GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2104.06357, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Erich Grädel, Lovro Mrkonjic |
Elementary equivalence versus isomorphism in semiring semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.05473, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Erich Grädel, Niels Lücking, Matthias Naaf |
Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021., pp. 67-82, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Martin Böhm 0003, Thomas Schmid |
An Algorithmic Approach to Establish a Lower Bound for the Size of Semiring Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESANN ![In: 29th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, ESANN 2021, Online event (Bruges, Belgium), October 6-8, 2021, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Erich Grädel, Lovro Mrkonjic |
Elementary Equivalence Versus Isomorphism in Semiring Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)., pp. 133:1-133:20, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-195-5. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Akimasa Morihata, Shigeyuki Sato 0001 |
Reverse engineering for reduction parallelization via semiring polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021., pp. 820-834, 2021, ACM, 978-1-4503-8391-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen |
Semiring Provenance for Fixed-Point Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., pp. 17:1-17:22, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-175-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Guilherme V. Leobas, Fernando Magno Quintão Pereira |
Semiring optimizations: dynamic elision of expressions with identity and absorbing elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 4(OOPSLA), pp. 131:1-131:28, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Vaishak Belle, Luc De Raedt |
Semiring programming: A semantic framework for generalized sum product problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 126, pp. 181-201, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Christopher Perry, Péter Vrana, Albert H. Werner |
The semiring of dichotomies and asymptotic relative submajorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.10587, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Rajab Ali Borzooei, M. Shenavaei, Antonio Di Nola, Omid Zahiri |
Ideals of an EMV-semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 49(3), pp. 235-260, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yaroslav Shitov |
Factoring a band matrix over a semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 382, pp. 165-171, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Brandon Gildemaster, Prerana Ghalsasi, Sanjay V. Rajopadhye |
A Tropical Semiring Multiple Matrix-Product Library on GPUs: (not just) a step towards RNA-RNA Interaction Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS Workshops ![In: 2020 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2020, New Orleans, LA, USA, May 18-22, 2020, pp. 160-169, 2020, IEEE, 978-1-7281-7445-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Johanna Björklund, Frank Drewes, Niklas Zechner |
Efficient enumeration of weighted tree languages over the tropical semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 104, pp. 119-130, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Masaki Waga |
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.12133, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Ivan Chajda, Davide Fazio, Antonio Ledda |
A semiring-like representation of lattice pseudoeffect algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(5), pp. 1465-1475, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Miaomiao Ren, Lingli Zeng |
On a hereditarily finitely based ai-semiring variety. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(16), pp. 6819-6825, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Masaki Waga |
Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings, pp. 3-22, 2019, Springer, 978-3-030-29661-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | |
Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Social Network Analysis and Mining. 2nd Ed. ![In: Encyclopedia of Social Network Analysis and Mining, 2nd Edition, 2018, Springer. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Sergey Fomin, Dima Grigoriev, Dorian Nogneng, Éric Schost |
On semiring complexity of Schur polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Complex. ![In: Comput. Complex. 27(4), pp. 595-616, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Debabrata Mandal |
Neutrosophic Soft $\Gamma$-Semiring and Its Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Fuzzy Syst. Appl. ![In: Int. J. Fuzzy Syst. Appl. 7(2), pp. 103-113, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Markus Saers, Dekai Wu |
Handling Ties Correctly and Efficiently in Viterbi Training Using the Viterbi Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings, pp. 284-295, 2018, Springer, 978-3-319-77312-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yann Ramusat, Silviu Maniu, Pierre Senellart |
Semiring Provenance over Graph Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TaPP ![In: 10th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2018, London, UK, July 11-12, 2018., 2018, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Hong Xu 0003, Cheng Cheng 0001, Sven Koenig, T. K. Satish Kumar |
Message Passing Algorithms for Semiring-Based and Valued Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Proceedings of the Eleventh International Symposium on Combinatorial Search, SOCS 2018, Stockholm, Sweden - 14-15 July 2018, pp. 115-123, 2018, AAAI Press, 978-1-57735-802-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Zoltán Ésik, Werner Kuich |
Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 23(1), pp. 61-79, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Thanh Le Van, Siegfried Nijssen, Matthijs van Leeuwen, Luc De Raedt |
Semiring Rank Matrix Factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 29(8), pp. 1737-1750, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Erich Grädel, Val Tannen |
Semiring Provenance for First-Order Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.01980, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Madhusudan Manjunath |
Syzygies over the polytope semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 96(2), pp. 482-500, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Todd J. Green, Val Tannen |
The Semiring Framework for Database Provenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017, pp. 93-99, 2017, ACM, 978-1-4503-4198-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Ján Plávka, Sergei Sergeev |
Characterizing matrices with $\bf{X}$-simple image eigenspace in max-min semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetika ![In: Kybernetika 52(4), pp. 497-513, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Vaishak Belle, Luc De Raedt |
Semiring Programming: A Framework for Search, Inference and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.06954, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Sergey Fomin, Dima Grigoriev, Dorian Nogneng, Éric Schost |
On semiring complexity of Schur polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.05043, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Trung-Viet Nguyen, Lam-Son Lê, Khuong Nguyen-An |
Aggregating Service Level Agreements in Services Bundling: A Semiring-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDSE ![In: Future Data and Security Engineering - Third International Conference, FDSE 2016, Can Tho City, Vietnam, November 23-25, 2016, Proceedings, pp. 385-399, 2016, 978-3-319-48056-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Shuya Bundo, Kazunori Yamaguchi |
Minimal Cost Semantics in Argumentation Framework on Semiring Cost Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12-16 September, 2016., pp. 159-166, 2016, IOS Press, 978-1-61499-685-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Peixin Gao, Hui Miao 0001, John S. Baras, Jennifer Golbeck |
STAR: Semiring Trust Inference for Trust-Aware Social Recommenders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RecSys ![In: Proceedings of the 10th ACM Conference on Recommender Systems, Boston, MA, USA, September 15-19, 2016, pp. 301-308, 2016, ACM, 978-1-4503-4035-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Wilker Aziz |
Grasp: Randomised Semiring Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prague Bull. Math. Linguistics ![In: Prague Bull. Math. Linguistics 104, pp. 51-62, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | Michele Boreale, David Clark 0001, Daniele Gorla |
A semiring-based trace semantics for processes with applications to information leakage analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(2), pp. 259-291, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Roland Coghetto |
Finite Product of Semiring of Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 23(2), pp. 107-114, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Xuechong Guan, Yongming Li 0001 |
On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 563, pp. 86-98, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001 |
Semiring-based Specification Approaches for Quantitative Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015., pp. 95-109, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Di Nola, Ciro Russo |
The semiring-theoretic approach to MV-algebras: A survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 281, pp. 134-154, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Dylan Killingbeck, Milene Santos Teixeira, Michael Winter 0001 |
Relations among Matrices over a Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings, pp. 101-118, 2015, Springer, 978-3-319-24703-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Johanna Björklund, Frank Drewes, Niklas Zechner |
An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 97-108, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Peixin Gao, John S. Baras, Jennifer Golbeck |
Semiring-based trust evaluation for information fusion in social network services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 18th International Conference on Information Fusion, FUSION 2015, Washington, DC, USA, July 6-9, 2015, pp. 590-596, 2015, IEEE, 978-0-9824-4386-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
20 | |
Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Social Network Analysis and Mining ![In: Encyclopedia of Social Network Analysis and Mining, pp. 1681, 2014, Springer, 978-1-4614-6169-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Bice Cavallo |
A further discussion of "A Semiring-based study of judgment matrices: properties and models" [Information Sciences 181 (2011) 2166-2176]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 287, pp. 61-67, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Roland Coghetto |
Semiring of Sets: Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 22(1), pp. 85-88, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Roland Coghetto |
Semiring of Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 22(1), pp. 79-84, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Nada Damljanovic, Miroslav Ciric 0001, Jelena Ignjatovic |
Bisimulations for weighted automata over an additively idempotent semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 534, pp. 86-100, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Dragos Vaida |
On Partially Ordered Semiring-Like Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discrete Mathematics and Computer Science ![In: Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., pp. 285-299, 2014, The Publishing House of the Romanian Academy, 978-973-27-2470-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Dan R. Ghica, Alex I. Smith |
Bounded Linear Types in a Resource Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, pp. 331-350, 2014, Springer, 978-3-642-54832-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Gianluca Giorgolo, Ash Asudeh |
One Semiring to Rule Them All. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014, Quebec City, Canada, July 23-26, 2014, 2014, cognitivesciencesociety.org, 978-0-9911967-0-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Aldjia Nait Abdesselam, Radouane Kara, Jean Jacques Loiseau |
Observer Design and Feedback Controller Synthesis with Observer in Idempotent Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014., pp. 120-127, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
20 | Marc Bagnol |
On the Resolution Semiring. (Sur le Semi-anneau de Résolution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
20 | Peter Hines |
A categorical analogue of the monoid semiring construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 23(1), pp. 55-94, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Chris Dyer |
Minimum Error Rate Training and the Convex Hull Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.3675, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Rogier C. van Dalen, Anton Ragni, Mark J. F. Gales |
Efficient decoding with generative score-spaces using the expectation semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2013, Vancouver, BC, Canada, May 26-31, 2013, pp. 7619-7623, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Emma Rollon, Javier Larrosa, Rina Dechter |
Semiring-Based Mini-Bucket Partitioning Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 644-650, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Hélène Fargier, Pierre Marquis, Nicolas Schmidt |
Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 884-890, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
20 | Grigoris Karvounarakis, Todd J. Green |
Semiring-annotated data: queries and provenance? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 41(3), pp. 5-14, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001 |
A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 64(4), pp. 447-462, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Kirsten |
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 420, pp. 56-63, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Gregory Crosswhite |
Embracing divergence: a formalism for when your semiring is simply not complete, with applications in quantum simulation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1208.0659, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
20 | Kento Emoto, Sebastian Fischer, Zhenjiang Hu |
Filter-embedding semiring fusion for programming with MapReduce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 24(4-6), pp. 623-645, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Bistarelli, Francesco Santini 0001 |
Semiring-based constraint models and frameworks for security-related scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRiSIS ![In: 7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012, pp. 1-4, 2012, IEEE Computer Society, 978-1-4673-3087-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Yongming Li 0001 |
The Representation of Semiring-based Constraint Satisfaction Problems using fuzzy finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QLSC ![In: Quantitative Logic and Soft Computing, Proceedings of the QLSC 2012, Xi'an, China, 12-15 May 2012, 2012, World Scientific, 978-981-4401-52-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Kirsten |
The Support of a Recognizable Series over a Zero-sum Free, Commutative Semiring is Recognizable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 20(2), pp. 211-221, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Kirsten, Karin Quaas |
Recognizability of the support of recognizable series over the semiring of the integers is undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 111(10), pp. 500-502, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Fujun Hou |
A Semiring-based study of judgment matrices: properties and models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 181(11), pp. 2166-2176, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Velimir M. Ilic |
Entropy Semiring Forward-backward Algorithm for HMM Entropy Computation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1108.0347, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Zoltán Ésik |
Partial Conway and Iteration Semiring-Semimodule Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Foundations in Computer Science ![In: Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement, pp. 56-71, 2011, Springer, 978-3-642-24896-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Markus Saers, Dekai Wu |
Reestimation of Reified Rules in Semiring Parsing and Biparsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSST@ACL ![In: Proceedings of Fifth Workshop on Syntax, Semantics and Structure in Statistical Translation, SSST@ACL 2011, Portland, Oregon, USA, 23 June, 2011, pp. 70-78, 2011, Association for Computational Linguistics, 978-1-932432-99-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Paola Campli |
A Semiring-based framework for fair resources allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA, pp. 268-273, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-31-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Artem Sokolov, François Yvon |
Minimum Error Rate Training Semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT ![In: Proceedings of the 15th Annual conference of the European Association for Machine Translation, EAMT 2011, Leuven, Belgium, May 30-31, 2011, 2011, European Association for Machine Translation. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
20 | Yue Yu 0002, Shangping Ren, Ophir Frieder |
Feasibility of semiring-based timing constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 9(4), pp. 33:1-33:24, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini 0001 |
Semiring-based frameworks for trust propagation in small-world networks and coalition formation criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secur. Commun. Networks ![In: Secur. Commun. Networks 3(6), pp. 595-610, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|