Search results for "Semirings"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Val Tannen	Provenance for database transformations.	EDBT	2010	DBLP DOI BibTeX RDF
14	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
14	Jules Desharnais, Peter Jipsen, Georg Struth	Domain and Antidomain Semigroups.	RelMiCS	2009	DBLP DOI BibTeX RDF
14	Roland Glück, Bernhard Möller, Michel Sintzoff	A Semiring Approach to Equivalences, Bisimulations and Control.	RelMiCS	2009	DBLP DOI BibTeX RDF
14	Andreas Maletti	A Backward and a Forward Simulation for Weighted Tree Automata.	CAI	2009	DBLP DOI BibTeX RDF
14	Simone Bova	Soft Constraints Processing over Divisible Residuated Lattices.	ECSQARU	2009	DBLP DOI BibTeX RDF
14	Virginia Vassilevska, Ryan Williams 0001	Finding, minimizing, and counting weighted subgraphs.	STOC	2009	DBLP DOI BibTeX RDF	3sum, cliques, paths, subgraph isomorphism, weighted graph
14	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
14	Timothy G. Griffin, Alexander J. T. Gurney	Increasing Bisemigroups and Algebraic Routing.	RelMiCS	2008	DBLP DOI BibTeX RDF
14	Paolo Baldan, Fabio Gadducci	Petri Nets Are Dioids.	AMAST	2008	DBLP DOI BibTeX RDF
14	Stefano Bistarelli, Fabio Martinelli, Francesco Santini 0001	Weighted Datalog and Levels of Trust.	ARES	2008	DBLP DOI BibTeX RDF
14	Stefano Bistarelli, Fabio Gadducci, Javier Larrosa, Emma Rollon	A Soft Approach to Multi-objective Optimization.	ICLP	2008	DBLP DOI BibTeX RDF
14	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Spectral Lattices of ['(R)]max, +-Formal Contexts.	ICFCA	2008	DBLP DOI BibTeX RDF
14	Andreas Maletti	Myhill-Nerode Theorem for Recognizable Tree Series Revisited.	LATIN	2008	DBLP DOI BibTeX RDF
14	Thomas G. McLaughlin	Delta1 Ultrapowers are totally rigid.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03C20, 03C50
14	Salvador España Boquera, Jorge Gorbe-Moya, Francisco Zamora-Martínez	Semiring Lattice Parsing Applied to CYK.	IbPRIA (1)	2007	DBLP DOI BibTeX RDF
14	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
14	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Galois Connections Between Semimodules and Applications in Data Mining.	ICFCA	2007	DBLP DOI BibTeX RDF
14	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
14	Alberto Bertoni, Christian Choffrut, Massimiliano Goldwurm, Violetta Lonati	Local Limit Properties for Pattern Statistics and Rational Models.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
14	Peter Höfner, Bernhard Möller	Lazy Semiring Neighbours and Some Applications.	RelMiCS	2006	DBLP DOI BibTeX RDF
14	Peter Höfner, Ridha Khédri, Bernhard Möller	Feature Algebra.	FM	2006	DBLP DOI BibTeX RDF
14	Walter Guttmann, Bernhard Möller	Modal Design Algebra.	UTP	2006	DBLP DOI BibTeX RDF
14	Manfred Droste, George Rahonis	Weighted Automata and Weighted Logics on Infinite Words.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF	Weighted logics, Weighted Muller automata, Infinitary formal power series
14	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
14	Peter Höfner, Bernhard Möller	Towards an Algebra of Hybrid Systems.	RelMiCS	2005	DBLP DOI BibTeX RDF
14	Manfred Droste, Paul Gastin	Weighted Automata and Weighted Logics.	ICALP	2005	DBLP DOI BibTeX RDF
14	Lawrence C. Paulson	Organizing Numerical Theories Using Axiomatic Type Classes.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	axiomatic type classes, polymorphism, arithmetic, overloading, Isabelle
14	Bernhard Möller, Georg Struth	Modal Kleene Algebra and Partial Correctness.	AMAST	2004	DBLP DOI BibTeX RDF
14	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
14	Cyril Allauzen, Mehryar Mohri, Brian Roark	A General Weighted Grammar Library.	CIAA	2004	DBLP DOI BibTeX RDF
14	Cyril Allauzen, Mehryar Mohri	An Efficient Pre-determinization Algorithm.	CIAA	2003	DBLP DOI BibTeX RDF
14	Christian Pech	Kleene's Theorem for Weighted Tree-Automata.	FCT	2003	DBLP DOI BibTeX RDF	Kleenes theorem, Schützenbergers theorem, rational expression, tree, language, automata, weight
14	Corinna Cortes, Patrick Haffner, Mehryar Mohri	Positive Definite Rational Kernels.	COLT	2003	DBLP DOI BibTeX RDF
14	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
14	Mehryar Mohri	Edit-Distance of Weighted Automata.	CIAA	2002	DBLP DOI BibTeX RDF
14	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
14	Peter Buchholz 0001, Peter Kemper	Quantifying the Dynamic Behavior of Process Algebras.	PAPM-PROBMIV	2001	DBLP DOI BibTeX RDF	process algebras, bisimulation, congruence, semiring
14	Libor Polák	Syntactic Semiring of a Language.	MFCS	2001	DBLP DOI BibTeX RDF	syntactic semiring, rational languages
14	Stefano Bistarelli, Rosella Gennari, Francesca Rossi 0001	Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.	CP	2000	DBLP DOI BibTeX RDF
14	Carsten Damm, Markus Holzer 0001, Pierre McKenzie	The Complexity of Tensor Calculus.	CCC	2000	DBLP DOI BibTeX RDF
14	Manfred Droste, Paul Gastin	On Recognizable and Rational Formal Power Series in Partially Commuting Variables.	ICALP	1997	DBLP DOI BibTeX RDF
14	Alexandru Mateescu, Grzegorz Rozenberg, Arto Salomaa	Syntactic and Semantic Aspects of Parallelism.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
14	Georg Karner, Werner Kuich	On Abstract Families of Languages, Power Series, and Elements.	Foundations of Computer Science: Potential - Theory - Cognition	1997	DBLP DOI BibTeX RDF
14	Stephane Gaubert, Max Plus	Methods and Applications of (MAX, +) Linear Algebra.	STACS	1997	DBLP DOI BibTeX RDF
14	Werner Kuich	The Algebraic Equivalent of AFL Theory.	ICALP	1995	DBLP DOI BibTeX RDF
14	Alok Aggarwal, Ashok K. Chandra	Communication Complexity of PRAMs (Preliminary Version).	ICALP	1988	DBLP DOI BibTeX RDF
14	J. Howard Johnson	Single-Valued Finite Transduction.	ICALP	1987	DBLP DOI BibTeX RDF