Search results for "Semiring"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
112	Louise Leenen, Thomas Andreas Meyer, Peter Harvey, Aditya Ghose	A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings.	PRICAI	2006	DBLP DOI BibTeX RDF
110	Feng Feng 0003, Young Bae Jun	Inductive semimodules and the vector modules over them.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Semimodule, Inductive *-semiring, Kleene module, Inductive semimodule, Linear inequation system, Semiring, Kleene algebra
95	Libor Polák	Syntactic Semiring and Language Equations.	CIAA	2002	DBLP DOI BibTeX RDF	syntactic semiring, language equations
79	Louise Leenen, Anbulagan, Thomas Meyer 0002, Aditya K. Ghose	Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
78	Helmut Seidl	Finite Tree Automata with Cost Functions.	CAAP	1992	DBLP DOI BibTeX RDF
72	Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan	Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.	ICTAI	2004	DBLP DOI BibTeX RDF
72	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Semiring-based constraint satisfaction and optimization.	J. ACM	1997	DBLP DOI BibTeX RDF	non-crisp constraint reasoning, dynamic programming, constraint solving, local consistency
69	Libor Polák	Syntactic Semiring and Universal Automaton.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF	syntactic semiring, universal automaton MSC 2000 Classification: 68Q45 Formal languages and automata
69	Libor Polák	Syntactic Semiring of a Language.	MFCS	2001	DBLP DOI BibTeX RDF	syntactic semiring, rational languages
62	Olga Sokratova	Linear Automata and Recognizable Subsets in Free Semirings.	FCT	2001	DBLP DOI BibTeX RDF	dynamical (linear) system, recognizable set, semiring
59	Kim Solin	A Sketch of a Dynamic Epistemic Semiring.	WoLLIC	2007	DBLP DOI BibTeX RDF
59	Peter Höfner, Bernhard Möller	Lazy Semiring Neighbours and Some Applications.	RelMiCS	2006	DBLP DOI BibTeX RDF
59	Peter Harvey, Aditya Ghose	Relaxation of Soft Constraints Via a Unified Semiring.	Canadian AI	2006	DBLP DOI BibTeX RDF
59	Sebastian Bader 0001, Steffen Hölldobler, Alexandre Scalzitti	Semiring Artificial Neural Networks and Weighted Automata. And an Application to Digital Image Encoding.	KI	2004	DBLP DOI BibTeX RDF
59	Katarina Britz, Johannes Heidema	Semiring-Valued Satisfiability.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
59	Aditya Ghose, Peter Harvey	Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics.	Australian Joint Conference on Artificial Intelligence	2002	DBLP DOI BibTeX RDF
59	Sabrina Mantaci, Vincent D. Blondel, Jean Mairesse	Bilinear Functions and Trees over the (max, +) Semiring.	MFCS	2000	DBLP DOI BibTeX RDF
59	Yan Georget, Philippe Codognet	Compiling Semiring-Based Constraints with clp (FD, S).	CP	1998	DBLP DOI BibTeX RDF
52	Zoltán Ésik	Iteration Semirings.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
52	Martin Beaudry, Markus Holzer 0001	The Complexity of Tensor Circuit Evaluation.	Comput. Complex.	2007	DBLP DOI BibTeX RDF	Subject classification. 15A69, 68Q70, 68Q17, 68Q15, 68Q05
52	Cyril Allauzen, Mehryar Mohri	An Efficient Pre-determinization Algorithm.	CIAA	2003	DBLP DOI BibTeX RDF
52	Georg Karner, Werner Kuich	A Characterization of Abstract Families of Algebraic Power Series.	MFCS	1997	DBLP DOI BibTeX RDF
49	Manfred Droste, Paul Gastin	On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Aperiodic languages, Star-free languages, Traces, Semiring, Formal power series, Weighted automata
49	Nic Wilson	A logic of soft constraints based on partially ordered preferences.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Semiring-based CSPs, Preferences, Soft constraints, Possibilistic logic
46	Daniel Kirsten	The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
46	Peter Jipsen, Georg Struth	The Structure of the One-Generated Free Domain Semiring.	RelMiCS	2008	DBLP DOI BibTeX RDF
39	Hitoshi Furusawa, Fumiya Sanda	*-Continuous Idempotent Left Semirings and Their Ideal Completion.	RelMiCS	2009	DBLP DOI BibTeX RDF
39	Javier Esparza, Stefan Kiefer, Michael Luttenberger	An Extension of Newton's Method to omega -Continuous Semirings.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
39	François Lamarche, Lutz Straßburger	Naming Proofs in Classical Propositional Logic.	TLCA	2005	DBLP DOI BibTeX RDF
39	Le Chang, Alan K. Mackworth	Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference.	CP	2005	DBLP DOI BibTeX RDF
39	Alexander V. Shafarenko, Sven-Bodo Scholz	General Homomorphic Overloading.	IFL	2004	DBLP DOI BibTeX RDF
39	Andreas Maletti	Relating Tree Series Transducers and Weighted Tree Automata.	Developments in Language Theory	2004	DBLP DOI BibTeX RDF
39	Mehryar Mohri	Generic epsilon -Removal Algorithm for Weighted Automata.	CIAA	2000	DBLP DOI BibTeX RDF
39	Franz Baader, Werner Nutt	Combination problems for commutative/monoidal theories or how algebra can help in equational unification.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Equational unification, Semiadditive categories, Semirings, Equational theories
39	Yannis E. Ioannidis, Eugene Wong 0001	Towards an Algebraic Theory of Recursion.	J. ACM	1991	DBLP DOI BibTeX RDF
36	Jan W. Amtrup	Morphology in Machine Translation Systems: Efficient Integration of Finite State Transducers and Feature Structure Descriptions.	Mach. Transl.	2003	DBLP DOI BibTeX RDF	finite state morphology, feature structures, Persian, semiring
36	Bernhard Möller, Georg Struth	Greedy-Like Algorithms in Modal Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF	Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
36	Jonathan S. Golan, Fuming Wu	Weakly UDO semirings and Korczyski nets over them.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Difference order, Korczy?ski net, Marked net, Concurrent enabling, Petri net, Semiring
36	Peter Buchholz 0001, Peter Kemper	Quantifying the Dynamic Behavior of Process Algebras.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF	process algebras, bisimulation, congruence, semiring
33	Stefano Bistarelli, Francesca Rossi 0001	Semiring-Based Soft Constraints.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
33	Louise Leenen, Aditya Ghose	Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems.	PRICAI	2008	DBLP DOI BibTeX RDF
33	Marc Pouly, Rolf Haenni, Michael Wachter 0001	Compiling Solution Configurations in Semiring Valuation Systems.	MICAI	2007	DBLP DOI BibTeX RDF
33	Michael Wachter 0001, Rolf Haenni, Marc Pouly	Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras.	MICAI	2007	DBLP DOI BibTeX RDF
33	Lior Wolf, Moshe Guttmann	Artificial Complex Cells via the Tropical Semiring.	CVPR	2007	DBLP DOI BibTeX RDF
33	Cédric Pralet, Thomas Schiex, Gérard Verfaillie	Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.	CP	2006	DBLP DOI BibTeX RDF
33	Zoltán Ésik, Werner Kuich	A Semiring-Semimodule Generalization of omega-Context-Free Languages.	Theory Is Forever	2004	DBLP DOI BibTeX RDF
33	Jerome Kelleher, Barry O'Sullivan	Evaluation-Based Semiring Meta-constraints.	MICAI	2004	DBLP DOI BibTeX RDF
33	Libor Polák	On Pseudovarieties of Semiring Homomorphisms.	MFCS	2004	DBLP DOI BibTeX RDF	Varieties of languages, pseudovarieties of homomorphisms
33	Alberto Delgado, Carlos Alberto Olarte, Jorge Andrés Pérez, Camilo Rueda	Implementing Semiring-Based Constraints Using Mozart.	MOZ	2004	DBLP DOI BibTeX RDF
33	Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni	Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring.	Discret. Event Dyn. Syst.	2001	DBLP DOI BibTeX RDF	hybrid petri nets, timed event graphs, dioid algebra, control, transfer function
33	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Semiring-based contstraint logic programming: syntax and semantics.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	semantics, constraints, soft constraints
33	Imre Simon	Recognizable Sets with Multiplicities in the Tropical Semiring.	MFCS	1988	DBLP DOI BibTeX RDF
26	Val Tannen	Provenance for database transformations.	EDBT	2010	DBLP DOI BibTeX RDF
26	Todd J. Green	Containment of conjunctive queries on annotated relations.	ICDT	2009	DBLP DOI BibTeX RDF
26	Karin Quaas	On the Supports of Recognizable Timed Series.	FORMATS	2009	DBLP DOI BibTeX RDF
26	Andreas Maletti	Tree-Series-to-Tree-Series Transformations.	CIAA	2008	DBLP DOI BibTeX RDF
26	Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan, Francesco Santini 0001	From Marriages to Coalitions: A Soft CSP Approach.	CSCLP	2008	DBLP DOI BibTeX RDF
26	Manfred Droste, George Rahonis	Weighted Automata and Weighted Logics with Discounting.	CIAA	2007	DBLP DOI BibTeX RDF	weighted Büchi and Muller automata, weighted MSO logic, discounting, formal power series, weighted automata
26	Javier Esparza, Stefan Kiefer, Michael Luttenberger	On Fixed Point Equations over Commutative Semirings.	STACS	2007	DBLP DOI BibTeX RDF
26	Andreas Maletti	Hierarchies of Tree Series Transformations Revisited.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
26	Manfred Droste, Paul Gastin	Weighted Automata and Weighted Logics.	ICALP	2005	DBLP DOI BibTeX RDF
26	Martin Beaudry, José M. Fernandez 0001, Markus Holzer 0001	A Common Algebraic Description for Probabilistic and Quantum Computations (Extended Abstract).	MFCS	2004	DBLP DOI BibTeX RDF
26	Carsten Damm, Markus Holzer 0001, Pierre McKenzie	The complexity of tensor calculus.	Comput. Complex.	2002	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000). 15A69, 68Q70, 68Q17, 68Q15, 68Q05
26	Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir	Axiomatizing Tropical Semirings.	FoSSaCS	2001	DBLP DOI BibTeX RDF	relative axiomatizations, commutative idempotent weak semirings, tropical semirings, exponential time complexity, convexity, varieties, Equational logic, complete axiomatizations
26	Robert A. Morris 0001, Lina Khatib	Optimization in Constraint Reasoning about Repeating Events.	TIME	1999	DBLP DOI BibTeX RDF	knowledge representation, constraint satisfaction, temporal reasoning
26	Manfred Droste, Paul Gastin	On Recognizable and Rational Formal Power Series in Partially Commuting Variables.	ICALP	1997	DBLP DOI BibTeX RDF
26	Stephane Gaubert, Max Plus	Methods and Applications of (MAX, +) Linear Algebra.	STACS	1997	DBLP DOI BibTeX RDF
26	Xiaoyong Du 0001, Naohiro Ishii	An Algebraic Rewriting Theorem of Multiple Linear Recursions and Its Applications	DEXA	1995	DBLP DOI BibTeX RDF
26	Marcella Anselmo	Two-Way Automata with Multiplicity.	ICALP	1990	DBLP DOI BibTeX RDF
26	Michael G. Main	Free Constructions of Powerdomains.	Mathematical Foundations of Programming Semantics	1985	DBLP DOI BibTeX RDF
22	Chang-Jing Wang, Jin-Yun Xue	Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems.	SNPD	2009	DBLP DOI BibTeX RDF	formally deduce, extremum problem, generic algorithmic program, high-trustworthy, semiring
22	Muhammad Akram 0001, Wieslaw A. Dudek	Intuitionistic fuzzy left k -ideals of semirings.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Intuitionistic fuzzy left k-ideal, Normal fuzzy set, Fuzzy characteristic, Descending chain, Semiring
22	Mark Hopkins	The Algebraic Approach II: Dioids, Quantales and Monads.	RelMiCS	2008	DBLP DOI BibTeX RDF	Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
22	Jules Desharnais, Bernhard Möller, Georg Struth	Kleene algebra with domain.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Idempotent semiring, codomain, image and preimage operation, program development and analysis, domain, Kleene algebra, equational reasoning, state transition systems
22	Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi	Towards automatic parallelization of tree reductions in dynamic programming.	SPAA	2006	DBLP DOI BibTeX RDF	commutative semiring, parallel tree contraction, parallel programming, dynamic programming, code generator, tree
22	Shamik Ghosh, Francis J. Pastijn, Xianzhong Zhao	Varieties Generated by Ordered Bands I.	Order	2005	DBLP DOI BibTeX RDF	idempotent semiring, identity, order, variety, band
22	Karl R. Abrahamson	A Time-Space Tradeoff for Boolean Matrix Multiplication	FOCS	1990	DBLP DOI BibTeX RDF	branching program model, lower bounds, upper bounds, deterministic algorithm, semiring, time-space tradeoff, Boolean matrix multiplication
20	Alvaro Otero Sanchez, Juan Antonio López-Ramos	Cryptoanalysis of a key exchange protocol based on a congruence-simple semiring action.	CoRR	2024	DBLP DOI BibTeX RDF
20	Alberto Dennunzio, Enrico Formenti, Luciano Margara, Sara Riva	A note on solving basic equations over the semiring of functional digraphs.	CoRR	2024	DBLP DOI BibTeX RDF
20	Erich Grädel, Niels Lücking, Matthias Naaf	Semiring Provenance for B"uchi Games: Strategy Analysis with Absorptive Polynomials.	Log. Methods Comput. Sci.	2024	DBLP DOI BibTeX RDF
20	David Dolzan	The unitary Cayley graph of a semiring.	Discret. Math.	2024	DBLP DOI BibTeX RDF
20	Andreas Goral, Joachim Giesen, Mark Blacher, Christoph Staudt, Julien Klaus	Model Counting and Sampling via Semiring Extensions.	AAAI	2024	DBLP DOI BibTeX RDF
20	Miika Hannula	Conditional Independence on Semiring Relations.	ICDT	2024	DBLP DOI BibTeX RDF
20	Sophie Brinke, Erich Grädel, Lovro Mrkonjic	Ehrenfeucht-Fraïssé Games in Semiring Semantics.	CSL	2024	DBLP DOI BibTeX RDF
20	Amra Omanovic, Polona Oblak, Tomaz Curk	Matrix Tri-Factorization Over the Tropical Semiring.	IEEE Access	2023	DBLP DOI BibTeX RDF
20	Jirí Mockor	Cut Systems with Relational Morphisms for Semiring-Valued Fuzzy Structures.	Axioms	2023	DBLP DOI BibTeX RDF
20	Thomas Eiter, Rafael Kiesel	Semiring Reasoning Frameworks in AI and Their Computational Complexity.	J. Artif. Intell. Res.	2023	DBLP DOI BibTeX RDF
20	Rustem Takhanov	Computing a Partition Function of a Generalized Pattern-Based Energy over a Semiring.	Theory Comput. Syst.	2023	DBLP DOI BibTeX RDF
20	Oscar Chang, Dongseong Hwang, Olivier Siohan	Revisiting the Entropy Semiring for Neural Speech Recognition.	CoRR	2023	DBLP DOI BibTeX RDF
20	Rustem Takhanov	Computing a partition function of a generalized pattern-based energy over a semiring.	CoRR	2023	DBLP DOI BibTeX RDF
20	Amra Omanovic, Polona Oblak, Tomaz Curk	Matrix tri-factorization over the tropical semiring.	CoRR	2023	DBLP DOI BibTeX RDF
20	Laure Daviaud, Marianne Johnson	Feasability of Learning Weighted Automata on a Semiring.	CoRR	2023	DBLP DOI BibTeX RDF
20	Camille Bourgaux, Ana Ozaki, Rafael Peñaloza	Semiring Provenance for Lightweight Description Logics.	CoRR	2023	DBLP DOI BibTeX RDF
20	Juan Pedro Hecht, Hugo Daniel Scolnik	A Post Quantum Key Agreement Protocol Based on a Modified Matrix Power Function over a Rectangular Matrices Semiring.	CoRR	2023	DBLP DOI BibTeX RDF
20	Clotilde Bizière, Erich Grädel, Matthias Naaf	Locality Theorems in Semiring Semantics.	CoRR	2023	DBLP DOI BibTeX RDF
20	Miika Hannula	Conditional independence on semiring relations.	CoRR	2023	DBLP DOI BibTeX RDF
20	Sophie Brinke, Erich Grädel, Lovro Mrkonjic	Ehrenfeucht-Fraïssé Games in Semiring Semantics.	CoRR	2023	DBLP DOI BibTeX RDF
20	Andreas Opedal, Ran Zmigrod, Tim Vieira, Ryan Cotterell, Jason Eisner	Efficient Semiring-Weighted Earley Parsing.	CoRR	2023	DBLP DOI BibTeX RDF
20	Jirí Mockor	Approximations of semiring-valued fuzzy sets with applications in new fuzzy structures.	Fuzzy Sets Syst.	2023	DBLP DOI BibTeX RDF
20	Clotilde Bizière, Erich Grädel, Matthias Naaf	Locality Theorems in Semiring Semantics.	MFCS	2023	DBLP DOI BibTeX RDF