Search results for "semiring"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Olena Horokh, Martin Böhm 0003, Thomas Schmid	A Parallelized Genitor II Implementation For Training Semiring Neural Networks.	GECCO Companion	2023	DBLP DOI BibTeX RDF
20	Jirí Mockor	Elements of Relational Power Set Theories for Semiring-Valued Fuzzy Structures.	EUSFLAT/AGOP	2023	DBLP DOI BibTeX RDF
20	Rafael Peñaloza	Semiring Provenance in Expressive Description Logics.	Description Logics	2023	DBLP BibTeX RDF
20	Oscar Chang, Dongseong Hwang, Olivier Siohan	Revisiting the Entropy Semiring for Neural Speech Recognition.	ICLR	2023	DBLP BibTeX RDF
20	Andreas Opedal, Ran Zmigrod, Tim Vieira, Ryan Cotterell, Jason Eisner	Efficient Semiring-Weighted Earley Parsing.	ACL (1)	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.	J. Intell. Fuzzy Syst.	2022	DBLP DOI BibTeX RDF
20	Susmit Bagchi	Topological Sigma-Semiring Separation and Ordered Measures in Noetherian Hyperconvexes.	Symmetry	2022	DBLP DOI BibTeX RDF
20	Christopher Perry, Péter Vrana, Albert H. Werner	The Semiring of Dichotomies and Asymptotic Relative Submajorization.	IEEE Trans. Inf. Theory	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.	CoRR	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.	CoRR	2022	DBLP DOI BibTeX RDF
20	Scott Kovach, Fredrik Kjolstad	Correct Compilation of Semiring Contractions.	CoRR	2022	DBLP DOI BibTeX RDF
20	Émile Naquin, Maximilien Gadouleau	Factorisation in the semiring of finite dynamical systems.	CoRR	2022	DBLP DOI BibTeX RDF
20	Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo	Revisiting Semiring Provenance for Datalog.	CoRR	2022	DBLP BibTeX RDF
20	Luanzheng Guo, Rizwan A. Ashraf, Ryan D. Friese, Gokcen Kestor	Towards Supporting Semiring in MLIR-Based COMET Compiler.	PACT	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.	LICS	2022	DBLP DOI BibTeX RDF
20	Jirí Mockor, Petr Hurtík	Semiring-Valued Fuzzy Rough Sets and Colour Segmentation.	MDAI	2022	DBLP DOI BibTeX RDF
20	Jirí Mockor	Applications of Monads in Semiring-Valued Fuzzy Sets.	IPMU (1)	2022	DBLP DOI BibTeX RDF
20	Georgios Drakopoulos, Phivos Mylonas	A Genetic Algorithm For Boolean Semiring Matrix Factorization With Applications To Graph Mining.	IEEE Big Data	2022	DBLP DOI BibTeX RDF
20	Noureddine Mouhoub, Mohamed Lamine Lamali, Damien Magoni	Semiring Algebraic Structure for Metarouting with Automatic Tunneling.	ICNP	2022	DBLP DOI BibTeX RDF
20	Camille Bourgaux, Pierre Bourhis, Liat Peterfreund, Michaël Thomazo	Revisiting Semiring Provenance for Datalog.	KR	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.	MLSys	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).		2022	RDF
20	Shyam Sundar Santra, Prabhakaran Victor, Mahadevan Chandramouleeswaran, Rami Ahmad El-Nabulsi, Khaled Mohamed Khedher, Vediyappan Govindan	Connectivity of Semiring Valued Graphs.	Symmetry	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.	CoRR	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.	CoRR	2021	DBLP BibTeX RDF
20	Erich Grädel, Lovro Mrkonjic	Elementary equivalence versus isomorphism in semiring semantics.	CoRR	2021	DBLP BibTeX RDF
20	Erich Grädel, Niels Lücking, Matthias Naaf	Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials.	GandALF	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.	ESANN	2021	DBLP DOI BibTeX RDF
20	Erich Grädel, Lovro Mrkonjic	Elementary Equivalence Versus Isomorphism in Semiring Semantics.	ICALP	2021	DBLP DOI BibTeX RDF
20	Akimasa Morihata, Shigeyuki Sato 0001	Reverse engineering for reduction parallelization via semiring polynomials.	PLDI	2021	DBLP DOI BibTeX RDF
20	Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen	Semiring Provenance for Fixed-Point Logic.	CSL	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.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
20	Vaishak Belle, Luc De Raedt	Semiring programming: A semantic framework for generalized sum product problems.	Int. J. Approx. Reason.	2020	DBLP DOI BibTeX RDF
20	Christopher Perry, Péter Vrana, Albert H. Werner	The semiring of dichotomies and asymptotic relative submajorization.	CoRR	2020	DBLP BibTeX RDF
20	Rajab Ali Borzooei, M. Shenavaei, Antonio Di Nola, Omid Zahiri	Ideals of an EMV-semiring.	Int. J. Gen. Syst.	2020	DBLP DOI BibTeX RDF
20	Yaroslav Shitov	Factoring a band matrix over a semiring.	Fuzzy Sets Syst.	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.	IPDPS Workshops	2020	DBLP DOI BibTeX RDF
20	Johanna Björklund, Frank Drewes, Niklas Zechner	Efficient enumeration of weighted tree languages over the tropical semiring.	J. Comput. Syst. Sci.	2019	DBLP DOI BibTeX RDF
20	Masaki Waga	Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.	CoRR	2019	DBLP BibTeX RDF
20	Ivan Chajda, Davide Fazio, Antonio Ledda	A semiring-like representation of lattice pseudoeffect algebras.	Soft Comput.	2019	DBLP DOI BibTeX RDF
20	Miaomiao Ren, Lingli Zeng	On a hereditarily finitely based ai-semiring variety.	Soft Comput.	2019	DBLP DOI BibTeX RDF
20	Masaki Waga	Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata.	FORMATS	2019	DBLP DOI BibTeX RDF
20		Semiring.	Encyclopedia of Social Network Analysis and Mining. 2nd Ed.	2018	DBLP DOI BibTeX RDF
20	Sergey Fomin, Dima Grigoriev, Dorian Nogneng, Éric Schost	On semiring complexity of Schur polynomials.	Comput. Complex.	2018	DBLP DOI BibTeX RDF
20	Debabrata Mandal	Neutrosophic Soft $\Gamma$-Semiring and Its Ideals.	Int. J. Fuzzy Syst. Appl.	2018	DBLP DOI BibTeX RDF
20	Markus Saers, Dekai Wu	Handling Ties Correctly and Efficiently in Viterbi Training Using the Viterbi Semiring.	LATA	2018	DBLP DOI BibTeX RDF
20	Yann Ramusat, Silviu Maniu, Pierre Senellart	Semiring Provenance over Graph Databases.	TaPP	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.	SOCS	2018	DBLP DOI BibTeX RDF
20	Zoltán Ésik, Werner Kuich	Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems.	Acta Cybern.	2017	DBLP DOI BibTeX RDF
20	Thanh Le Van, Siegfried Nijssen, Matthijs van Leeuwen, Luc De Raedt	Semiring Rank Matrix Factorization.	IEEE Trans. Knowl. Data Eng.	2017	DBLP DOI BibTeX RDF
20	Erich Grädel, Val Tannen	Semiring Provenance for First-Order Model Checking.	CoRR	2017	DBLP BibTeX RDF
20	Madhusudan Manjunath	Syzygies over the polytope semiring.	J. Lond. Math. Soc.	2017	DBLP DOI BibTeX RDF
20	Todd J. Green, Val Tannen	The Semiring Framework for Database Provenance.	PODS	2017	DBLP DOI BibTeX RDF
20	Ján Plávka, Sergei Sergeev	Characterizing matrices with $\bf{X}$-simple image eigenspace in max-min semiring.	Kybernetika	2016	DBLP DOI BibTeX RDF
20	Vaishak Belle, Luc De Raedt	Semiring Programming: A Framework for Search, Inference and Learning.	CoRR	2016	DBLP BibTeX RDF
20	Sergey Fomin, Dima Grigoriev, Dorian Nogneng, Éric Schost	On semiring complexity of Schur polynomials.	CoRR	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.	FDSE	2016	DBLP DOI BibTeX RDF
20	Shuya Bundo, Kazunori Yamaguchi	Minimal Cost Semantics in Argumentation Framework on Semiring Cost Assignment.	COMMA	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.	RecSys	2016	DBLP DOI BibTeX RDF
20	Wilker Aziz	Grasp: Randomised Semiring Parsing.	Prague Bull. Math. Linguistics	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.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
20	Roland Coghetto	Finite Product of Semiring of Sets.	Formaliz. Math.	2015	DBLP DOI BibTeX RDF
20	Xuechong Guan, Yongming Li 0001	On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
20	Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001	Semiring-based Specification Approaches for Quantitative Security.	QAPL	2015	DBLP DOI BibTeX RDF
20	Antonio Di Nola, Ciro Russo	The semiring-theoretic approach to MV-algebras: A survey.	Fuzzy Sets Syst.	2015	DBLP DOI BibTeX RDF
20	Dylan Killingbeck, Milene Santos Teixeira, Michael Winter 0001	Relations among Matrices over a Semiring.	RAMiCS	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.	LATA	2015	DBLP DOI BibTeX RDF
20	Peixin Gao, John S. Baras, Jennifer Golbeck	Semiring-based trust evaluation for information fusion in social network services.	FUSION	2015	DBLP BibTeX RDF
20		Semiring.	Encyclopedia of Social Network Analysis and Mining	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].	Inf. Sci.	2014	DBLP DOI BibTeX RDF
20	Roland Coghetto	Semiring of Sets: Examples.	Formaliz. Math.	2014	DBLP DOI BibTeX RDF
20	Roland Coghetto	Semiring of Sets.	Formaliz. Math.	2014	DBLP DOI BibTeX RDF
20	Nada Damljanovic, Miroslav Ciric 0001, Jelena Ignjatovic	Bisimulations for weighted automata over an additively idempotent semiring.	Theor. Comput. Sci.	2014	DBLP DOI BibTeX RDF
20	Dragos Vaida	On Partially Ordered Semiring-Like Structures.	Discrete Mathematics and Computer Science	2014	DBLP BibTeX RDF
20	Dan R. Ghica, Alex I. Smith	Bounded Linear Types in a Resource Semiring.	ESOP	2014	DBLP DOI BibTeX RDF
20	Gianluca Giorgolo, Ash Asudeh	One Semiring to Rule Them All.	CogSci	2014	DBLP BibTeX RDF
20	Aldjia Nait Abdesselam, Radouane Kara, Jean Jacques Loiseau	Observer Design and Feedback Controller Synthesis with Observer in Idempotent Semiring.	VECoS	2014	DBLP BibTeX RDF
20	Marc Bagnol	On the Resolution Semiring. (Sur le Semi-anneau de Résolution).		2014	RDF
20	Peter Hines	A categorical analogue of the monoid semiring construction.	Math. Struct. Comput. Sci.	2013	DBLP DOI BibTeX RDF
20	Chris Dyer	Minimum Error Rate Training and the Convex Hull Semiring.	CoRR	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.	ICASSP	2013	DBLP DOI BibTeX RDF
20	Emma Rollon, Javier Larrosa, Rina Dechter	Semiring-Based Mini-Bucket Partitioning Schemes.	IJCAI	2013	DBLP BibTeX RDF
20	Hélène Fargier, Pierre Marquis, Nicolas Schmidt	Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues.	IJCAI	2013	DBLP BibTeX RDF
20	Grigoris Karvounarakis, Todd J. Green	Semiring-annotated data: queries and provenance?	SIGMOD Rec.	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.	Comput. Math. Appl.	2012	DBLP DOI BibTeX RDF
20	Daniel Kirsten	Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring.	Theor. Comput. Sci.	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	CoRR	2012	DBLP BibTeX RDF
20	Kento Emoto, Sebastian Fischer, Zhenjiang Hu	Filter-embedding semiring fusion for programming with MapReduce.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
20	Stefano Bistarelli, Francesco Santini 0001	Semiring-based constraint models and frameworks for security-related scenarios.	CRiSIS	2012	DBLP DOI BibTeX RDF
20	Yongming Li 0001	The Representation of Semiring-based Constraint Satisfaction Problems using fuzzy finite Automata.	QLSC	2012	DBLP DOI BibTeX RDF
20	Daniel Kirsten	The Support of a Recognizable Series over a Zero-sum Free, Commutative Semiring is Recognizable.	Acta Cybern.	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.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
20	Fujun Hou	A Semiring-based study of judgment matrices: properties and models.	Inf. Sci.	2011	DBLP DOI BibTeX RDF
20	Velimir M. Ilic	Entropy Semiring Forward-backward Algorithm for HMM Entropy Computation	CoRR	2011	DBLP BibTeX RDF
20	Zoltán Ésik	Partial Conway and Iteration Semiring-Semimodule Pairs.	Algebraic Foundations in Computer Science	2011	DBLP DOI BibTeX RDF
20	Markus Saers, Dekai Wu	Reestimation of Reified Rules in Semiring Parsing and Biparsing.	SSST@ACL	2011	DBLP BibTeX RDF
20	Paola Campli	A Semiring-based framework for fair resources allocation.	ICLP (Technical Communications)	2011	DBLP DOI BibTeX RDF
20	Artem Sokolov, François Yvon	Minimum Error Rate Training Semiring.	EAMT	2011	DBLP BibTeX RDF
20	Yue Yu 0002, Shangping Ren, Ophir Frieder	Feasibility of semiring-based timing constraints.	ACM Trans. Embed. Comput. Syst.	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.	Secur. Commun. Networks	2010	DBLP DOI BibTeX RDF