Search results for "semiring"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Jérôme Monnot, Olivier Spanjaard	Bottleneck shortest paths on a partially ordered scale.	4OR	2003	DBLP DOI BibTeX RDF	bottleneck problems, Shortest path, partial order, algebraic methods
13	Henry G. Potrykus, Frank Allgöwer, Si-Zhao Joe Qin	The Character of an Idempotent-analytic Nonlinear Small Gain Theorem.	POSTA	2003	DBLP DOI BibTeX RDF
13	Laurent Truffet	Monotone Linear Dynamical Systems over Dioids.	POSTA	2003	DBLP DOI BibTeX RDF
13	André Kempe, Christof Baeijs, Tamás Gaál, Franck Guingne, Florent Nicart	WFSC - A New Weighted Finite State Compiler.	CIAA	2003	DBLP DOI BibTeX RDF
13	Ines Klimann, Sylvain Lombardy, Jean Mairesse, Christophe Prieur 0002	Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF
13	Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.	CP	2003	DBLP DOI BibTeX RDF
13	Stefano Bistarelli, Jerome Kelleher, Barry O'Sullivan	Tradeoff Generation Using Soft Constraints.	CSCLP	2003	DBLP DOI BibTeX RDF
13	Jay Fillmore, D. Pumplün, Helmut Röhrl	On N-Summations, I.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	semimodules, N-summation, summarily bounded, Cauchy element, semirings
13	Endre Pap	Pseudo-analysis and nonlinear equations.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Triangular conorm, Probabilistic metric space, Fuzzy metric space, Fixed point, Utility function, Triangular norm
13	Sylvain Lombardy, Jacques Sakarovitch	Derivation of Rational Expressions with Multiplicity.	MFCS	2002	DBLP DOI BibTeX RDF
13	Kristen B. Venable	Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems.	CP	2002	DBLP DOI BibTeX RDF
13	Manfred Droste, Guo-Qiang Zhang 0001	Rational Transformations of Formal Power Series.	ICALP	2001	DBLP DOI BibTeX RDF	rational languages, recognizable languages, weighted finite automata, Formal power series
13	Martin Beaudry, Markus Holzer 0001	The Complexity of Tensor Circuit Evaluation.	MFCS	2001	DBLP DOI BibTeX RDF
13	Rosella Gennari	Translations for Comparing Soft Frameworks.	CP	2001	DBLP DOI BibTeX RDF
13	Stefano Bistarelli, Rosella Gennari, Francesca Rossi 0001	Constraint Propagation for Soft Constraints: Generalization and Termination Conditions.	CP	2000	DBLP DOI BibTeX RDF
13	Taishin Y. Nishida	Multiset and K -Subset Transforming Systems.	WMP	2000	DBLP DOI BibTeX RDF
13	Carsten Damm, Markus Holzer 0001, Pierre McKenzie	The Complexity of Tensor Calculus.	CCC	2000	DBLP DOI BibTeX RDF
13	Symeon Bozapalidis	Equational Elements in Additive Algebras.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
13	Jan J. M. M. Rutten	Automata, Power Series, and Coinduction: Taking Input Derivatives Seriously.	ICALP	1999	DBLP DOI BibTeX RDF
13	Werner Kuich	Gaußian Elimination and a Characterization of Algebraic Power Series.	MFCS	1998	DBLP DOI BibTeX RDF
13	Albert Benveniste, Claude Jard, Stephane Gaubert	Algebraic Techniques for Timed Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
13	Georg Karner	A Topology for Complete Semirings.	STACS	1994	DBLP DOI BibTeX RDF
13	Robert F. Cohen, Roberto Tamassia	Combine and Conquer: a General Technique for Dynamic Algorithms (Extended Abstract).	ESA	1993	DBLP DOI BibTeX RDF
13	Venkatesh Radhakrishnan, Harry B. Hunt III, Richard Edwin Stearns	Efficient Algorithms for Solving Systems of Linear Equations and Path Problems.	STACS	1992	DBLP DOI BibTeX RDF	Path Problems, Gaussian Elimination, Algorithms and data structures, Mathematics of computation, Systems of Linear Equations
13	Jeffrey D. Ullman, Mihalis Yannakakis	The Input/Output Complexity of Transitive Closure.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
13	Werner Nutt	Unification in Monoidal Theories.	CADE	1990	DBLP DOI BibTeX RDF
13	J. Howard Johnson	Single-Valued Finite Transduction.	ICALP	1987	DBLP DOI BibTeX RDF
13	Yannis E. Ioannidis, Eugene Wong 0001	Query Optimization by Simulated Annealing.	SIGMOD Conference	1987	DBLP DOI BibTeX RDF
13	Jacques Sakarovitch	Kleene's theorem revisited.	IMYCS	1986	DBLP DOI BibTeX RDF