Search results for "Semiring"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Kim Solin	A sketch of a dynamic epistemic semiring.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
20	Javier Larrosa, Albert Oliveras, Enric Rodríguez-Carbonell	Semiring-Induced Propositional Logic: Definition and Basic Algorithms.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
20	Stefano Bistarelli, Francesco Santini 0001	A Common Computational Framework for Semiring-based Argumentation Systems.	ECAI	2010	DBLP BibTeX RDF
20	Michele Boreale, David Clark 0001, Daniele Gorla	A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis.	IFIP TCS	2010	DBLP DOI BibTeX RDF
20	Mingwu Zhang, Bo Yang 0003, Shenglin Zhu, Wenzheng Zhang	Ordered Semiring-based Trust Establish Model with Risk Evaluating.	Int. J. Netw. Secur.	2009	DBLP BibTeX RDF
20	Zhixi Wang, Feixiang Liang, Yong He, Di Yang	Semiring Structures of some Classes of Hypercodes.	J. Autom. Lang. Comb.	2009	DBLP DOI BibTeX RDF
20	Václav Flaska	One very particular example of a congruence-simple semiring.	Eur. J. Comb.	2009	DBLP DOI BibTeX RDF
20	Kul Hur, Ro-Ra Kim, Pyung-Ki Lim	Intuitionistic fuzzy k-ideals of a semiring.	Int. J. Fuzzy Log. Intell. Syst.	2009	DBLP DOI BibTeX RDF
20	Roland Glück, Bernhard Möller, Michel Sintzoff	A Semiring Approach to Equivalences, Bisimulations and Control.	RelMiCS	2009	DBLP DOI BibTeX RDF
20	Hiroshi Hosobe	Constraint Hierarchies as Semiring-Based CSPs.	ICTAI	2009	DBLP DOI BibTeX RDF
20	Kiran K. Somasundaram, John S. Baras	Semiring Pruning for Information Dissemination in Mobile Ad Hoc Networks.	NetCoM	2009	DBLP DOI BibTeX RDF
20	Yue Yu 0002, Shangping Ren, Carolyn L. Talcott	Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints.	FOCLASA@ICALP	2008	DBLP DOI BibTeX RDF
20	Daniel Andrén, Lars Hellström, Klas Markström	Fast multiplication of matrices over a finitely generated semiring.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
20	Xianzhong Zhao, Young Bae Jun, Fang Ren	The semiring of matrices over a finite chain.	Inf. Sci.	2008	DBLP DOI BibTeX RDF
20	Jürg Kohlas, Nic Wilson	Semiring induced valuation algebras: Exact and approximate local computation algorithms.	Artif. Intell.	2008	DBLP DOI BibTeX RDF
20	Sanjiang Li, Mingsheng Ying	Soft constraint abstraction based on semiring homomorphism.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
20	Stefano Bistarelli, Francesco Santini 0001	C-semiring Frameworks for Minimum Spanning Tree Problems.	WADT	2008	DBLP DOI BibTeX RDF
20	Liang Huang 0001	Advanced Dynamic Programming in Semiring and Hypergraph Frameworks.	COLING (Tutorial)	2008	DBLP BibTeX RDF
20	Jin-Jiang Yao, Zhen-ming Ma	Generated Fuzzy Ideals and Its Lattice Structures in Semiring.	ACFIE	2008	DBLP DOI BibTeX RDF
20	Igor Dolinka	A nonfinitely Based Finite Semiring.	Int. J. Algebra Comput.	2007	DBLP DOI BibTeX RDF
20	Louise Leenen, Thomas Andreas Meyer, Aditya Ghose	Relaxations of semiring constraint satisfaction problems.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
20	Zoltán Ésik, Werner Kuich	A Semiring-Semimodule Generalization of Transducers and Abstract omega-Families of Power Series.	J. Autom. Lang. Comb.	2007	DBLP DOI BibTeX RDF
20	Sanjiang Li, Mingsheng Ying	Soft constraint abstraction based on semiring homomorphism	CoRR	2007	DBLP BibTeX RDF
20	Salvador España Boquera, Jorge Gorbe-Moya, Francisco Zamora-Martínez	Semiring Lattice Parsing Applied to CYK.	IbPRIA (1)	2007	DBLP DOI BibTeX RDF
20	Ying Shang, Michael K. Sain	Fixed zeros in the model matching problem for systems over a semiring.	CDC	2007	DBLP DOI BibTeX RDF
20	Xuan-Ha Vu, Barry O'Sullivan	Semiring-Based Constraint Acquisition.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
20	Kul Hur, Su Youn Jang, Keon-Chang Lee	Intuitionistic Fuzzy Weak Congruences on a Semiring.	Int. J. Fuzzy Log. Intell. Syst.	2006	DBLP DOI BibTeX RDF
20	Stefano Bistarelli, Fabio Gadducci	Enhancing Constraints Manipulation in Semiring-Based Formalisms.	ECAI	2006	DBLP BibTeX RDF
20	Peter Höfner	Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic.	IFM Doctoral Symposium	2005	DBLP DOI BibTeX RDF
20	Benjamin Aziz	A Semiring-based Quantitative Analysis of Mobile Systems.	SVV@ICFEM	2005	DBLP DOI BibTeX RDF
20	Zoltán Ésik, Werner Kuich	A Semiring-Semimodule Generalization of ω-Regular Languages II.	J. Autom. Lang. Comb.	2005	DBLP DOI BibTeX RDF
20	Zoltán Ésik, Werner Kuich	A Semiring-Semimodule Generalization of ω-Regular Languages I.	J. Autom. Lang. Comb.	2005	DBLP DOI BibTeX RDF
20	Eligijus Sakalauskas	One Digital Signature Scheme in Semimodule over Semiring.	Informatica	2005	DBLP BibTeX RDF
20	Patrick M. Sain, Ying Shang, Michael K. Sain	Reachability analysis for N-squared state charts over a Boolean semiring applied to a hysteretic discrete event structural control model.	ACC	2005	DBLP DOI BibTeX RDF
20	Nic Wilson	Decision Diagrams for the Computation of Semiring Valuations.	IJCAI	2005	DBLP BibTeX RDF
20	Stéphane Gaubert, Ricardo Katz	Rational semimodules over the max-plus semiring and geometric approach to discrete event systems.	Kybernetika	2004	DBLP BibTeX RDF
20	Martin Sachenbacher, Brian C. Williams	Diagnosis as Semiring-Based Constraint Optimization.	ECAI	2004	DBLP BibTeX RDF
20	Adrian Atanasiu, Carlos Martín-Vide, Victor Mitrana	On the sentence valuation in a semiring.	Inf. Sci.	2003	DBLP DOI BibTeX RDF
20	Jerome Kelleher, Barry O'Sullivan	Optimising the Representation and Evaluation of Semiring Combination Constraints.	CP	2003	DBLP DOI BibTeX RDF
20	Ivana Stajner-Papuga	Henstock-Kurzweil Type Integral Based on Generalized g-Semiring.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2002	DBLP DOI BibTeX RDF
20	Mehryar Mohri	Semiring Frameworks and Algorithms for Shortest-Distance Problems.	J. Autom. Lang. Comb.	2002	DBLP DOI BibTeX RDF
20	Bhaskar DasGupta, Eduardo D. Sontag	A polynomial-time algorithm for checking equivalence under certain semiring congruences motivated by the state-space isomorphism problem for hybrid systems.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
20	Erich-Peter Klement, Radko Mesiar, Endre Pap	Integration with Respect to Decomposable Measures, Based on a Conditionally Distributive Semiring on the Unit Interval.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2000	DBLP DOI BibTeX RDF
20	Adrian Atanasiu, Carlos Martín-Vide, Victor Mitrana	On the Sentence Valuations in a Semiring.	Words, Languages & Combinatorics	2000	DBLP BibTeX RDF
20	Joshua Goodman 0001	Semiring Parsing.	Comput. Linguistics	1999	DBLP BibTeX RDF
20	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001, Thomas Schiex, Gérard Verfaillie, Hélène Fargier	Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.	Constraints An Int. J.	1999	DBLP DOI BibTeX RDF
20	Yan Georget, Philippe Codognet	Encoding global constraints in semiring-based constraint solving.	ICTAI	1998	DBLP DOI BibTeX RDF
20	Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001	Semiring-based Constraint Logic Programming.	IJCAI (1)	1997	DBLP BibTeX RDF
20	Stephen L. Bloom, Zoltán Ésik	Two Axiomatizations of a Star Semiring Quasi-Variety.	Bull. EATCS	1996	DBLP BibTeX RDF
20	Werner Kuich	Representations and Complete Semiring Morphisms.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
20	C. W. Tong, K. P. Lam	Closed semiring optimization circuits using a connectionist approach.	ICNN	1995	DBLP DOI BibTeX RDF
20	Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi 0001, Thomas Schiex, Gérard Verfaillie	Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
20	Daniel Krob	The Equality Problem for Rational Series with Multiplicities in the tropical Semiring is Undecidable.	Int. J. Algebra Comput.	1994	DBLP DOI BibTeX RDF
20	Agnès Bonnier-Rigny, Daniel Krob	A Complete System of Identities for One-Letter Rational Expressions with Multiplicities in the Tropical Semiring.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
20	Imre Simon	On Semigroups of Matrices over the Tropical Semiring.	RAIRO Theor. Informatics Appl.	1994	DBLP DOI BibTeX RDF
20	Daniel Krob	The Equality Problem for Rational Series with Multiplicities in the Tropical Semiring is Undecidable.	ICALP	1992	DBLP DOI BibTeX RDF
20	David A. Gregory, Norman J. Pullman, Kathryn Fraughnaugh Jones, J. Richard Lundgren	Biclique coverings of regular bigraphs and minimum semiring ranks of regular matrices.	J. Comb. Theory, Ser. B	1991	DBLP DOI BibTeX RDF
20	Kazuo Iwano, Kenneth Steiglitz	A Semiring on Convex Polygons and Zero-Sum Cycle Problems.	SIAM J. Comput.	1990	DBLP DOI BibTeX RDF
20	Marc Wagowski	Matroid Signatures Coordinatizable over a Semiring.	Eur. J. Comb.	1989	DBLP DOI BibTeX RDF
20	S. Kamal Abdali, B. David Saunders	Transitive Closure and Related Semiring Properties via Eliminants.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
20	Michael G. Main, David B. Benson	Free Semiring-Representations and Nondeterminism.	J. Comput. Syst. Sci.	1985	DBLP DOI BibTeX RDF
20	John G. Fletcher	A More General Algorithm for Computing Closed Semiring Costs Between Vertices of a Directed Graph.	Commun. ACM	1980	DBLP DOI BibTeX RDF
20	Alberto Bertoni	Equations of Formal Power Series over Non Commutative Semiring.	MFCS	1973	DBLP BibTeX RDF
13	Grigoris Karvounarakis, Zachary G. Ives, Val Tannen	Querying data provenance.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	query processing, annotation, query language, data provenance
13	Andreas Maletti	A Backward and a Forward Simulation for Weighted Tree Automata.	CAI	2009	DBLP DOI BibTeX RDF
13	Daniel Kirsten	An Algebraic Characterization of Semirings for Which the Support of Every Recognizable Series Is Recognizable.	MFCS	2009	DBLP DOI BibTeX RDF
13	Ingmar Meinecke	A Weighted µ-Calculus on Words.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
13	James Worthington	A Bialgebraic Approach to Automata and Formal Language Theory.	LFCS	2009	DBLP DOI BibTeX RDF
13	Timothy G. Griffin, Alexander J. T. Gurney	Increasing Bisemigroups and Algebraic Routing.	RelMiCS	2008	DBLP DOI BibTeX RDF
13	Jules Desharnais, Georg Struth	Domain Axioms for a Family of Near-Semirings.	AMAST	2008	DBLP DOI BibTeX RDF
13	Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001	Weighted Datalog and Levels of Trust.	ARES	2008	DBLP DOI BibTeX RDF
13	Javier Esparza, Stefan Kiefer, Michael Luttenberger	Newton's Method for omega-Continuous Semirings.	ICALP (2)	2008	DBLP DOI BibTeX RDF
13	Christian Mathissen	Weighted Logics for Nested Words and Algebraic Formal Power Series.	ICALP (2)	2008	DBLP DOI BibTeX RDF
13	Manfred Droste, Karin Quaas	A Kleene-Schützenberger Theorem for Weighted Timed Automata.	FoSSaCS	2008	DBLP DOI BibTeX RDF
13	J. Nathan Foster, Todd J. Green, Val Tannen	Annotated XML: queries and provenance.	PODS	2008	DBLP DOI BibTeX RDF	xquery, xml, data provenance, semirings, complex values
13	Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001	A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily.	ATC	2008	DBLP DOI BibTeX RDF
13	Andreas Maletti	Myhill-Nerode Theorem for Recognizable Tree Series Revisited.	LATIN	2008	DBLP DOI BibTeX RDF
13	Alexandra Silva 0001, Jan J. M. M. Rutten	Behavioural Differential Equations and Coinduction for Binary Trees.	WoLLIC	2007	DBLP DOI BibTeX RDF
13	Véronique Cortier, Stéphanie Delaune	Deciding Knowledge in Security Protocols for Monoidal Equational Theories.	LPAR	2007	DBLP DOI BibTeX RDF
13	Ryan Williams 0001	Matrix-vector multiplication in sub-quadratic time: (some preprocessing required).	SODA	2007	DBLP BibTeX RDF
13	Christian Mathissen	Definable Transductions and Weighted Logics for Texts.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
13	Gösta Grahne, Alex Thomo, William W. Wadge	Preferentially Annotated Regular Path Queries.	ICDT	2007	DBLP DOI BibTeX RDF
13	Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto	Fourier meets möbius: fast subset convolution.	STOC	2007	DBLP DOI BibTeX RDF	Möbius transform, Steiner tree, convolution
13	Christopher Ré, Dan Suciu	Efficient Evaluation of.	DBPL	2007	DBLP DOI BibTeX RDF
13	George Theodorakopoulos 0001, John S. Baras	On trust models and trust evaluation metrics for ad hoc networks.	IEEE J. Sel. Areas Commun.	2006	DBLP DOI BibTeX RDF
13	Peter Höfner, Bernhard Möller, Kim Solin	Omega Algebra, Demonic Refinement Algebra and Commands.	RelMiCS	2006	DBLP DOI BibTeX RDF
13	Bernhard Möller	The Linear Algebra of UTP.	MPC	2006	DBLP DOI BibTeX RDF
13	Walter Guttmann, Bernhard Möller	Modal Design Algebra.	UTP	2006	DBLP DOI BibTeX RDF
13	Cyril Allauzen, Mehryar Mohri	A Unified Construction of the Glushkov, Follow, and Antimirov Automata.	MFCS	2006	DBLP DOI BibTeX RDF
13	Andreas Maletti	Does o-Substitution Preserve Recognizability?	CIAA	2006	DBLP DOI BibTeX RDF
13	Ingmar Meinecke	Weighted Logics for Traces.	CSR	2006	DBLP DOI BibTeX RDF
13	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Towards a Generalisation of Formal Concept Analysis for Data Mining Purposes.	ICFCA	2006	DBLP DOI BibTeX RDF
13	Ina Mäurer	Weighted Picture Automata and Weighted Logics.	STACS	2006	DBLP DOI BibTeX RDF
13	Malek Mouhoub, Amrudee Sukpan	Conditional and Composite Temporal Constraints with Preferences.	TIME	2006	DBLP DOI BibTeX RDF
13	Corinna Cortes, Mehryar Mohri, Ashish Rastogi, Michael Riley 0001	Efficient Computation of the Relative Entropy of Probabilistic Automata.	LATIN	2006	DBLP DOI BibTeX RDF
13	Manfred Droste, Christian Pech, Heiko Vogler	A Kleene Theorem for Weighted Tree Automata.	Theory Comput. Syst.	2005	DBLP DOI BibTeX RDF
13	Alexandru Mateescu	Algebraic Aspects of Parikh Matrices.	Theory Is Forever	2004	DBLP DOI BibTeX RDF
13	Zoltán Ésik, Werner Kuich	An Algebraic Generalization of omega-Regular Languages.	MFCS	2004	DBLP DOI BibTeX RDF
13	Brunella Gerla	Automata over MV-Algebra.	ISMVL	2004	DBLP DOI BibTeX RDF
13	Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati	Local Limit Distributions in Pattern Statistics: Beyond the Markovian Models.	STACS	2004	DBLP DOI BibTeX RDF