Semiring - PDFSEARCH.IO - Document Search Engine

Semiring
Results: 84

#	Item
41	Weighted Finite-State Transducer Algorithms An Overview Mehryar Mohri AT&T Labs – Research Shannon Laboratory 180 Park Avenue, Florham Park, NJ 07932, USA Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:41:32 Finite state transducer Applied mathematics Mathematics Semiring Finite-state machine Computing Büchi automaton Automata theory Models of computation Formal languages
42	Theory and Applications of Categories, Vol. 26, No. 1, 2012, pp. 1–29. KAN EXTENSIONS AND LAX IDEMPOTENT PSEUDOMONADS F. MARMOLEJO AND R.J. WOOD Abstract. We show that colax idempotent pseudomonads and their algebras Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-01-11 15:18:00 Ring theory Semiring Kan extension Idempotence Abstract algebra Algebra Mathematics
43	International Journal of Foundations of Computer Science c World Scientific Publishing Company Edit-Distance of Weighted Automata: General Definitions and Algorithms Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:40:05 Formal languages Mathematics Finite state transducer Computer science Semiring Finite-state machine Sequence Büchi automaton Automata theory Models of computation Theoretical computer science
44	Department of Computer & Information Science Departmental Papers (CIS) University of Pennsylvania Year  Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-01-30 08:33:12 Computer science Computational linguistics Mathematics Finite-state machine Mehryar Mohri Applied mathematics Semiring Speech recognition Automata theory Models of computation Finite state transducer
45	Atlantic Association for Research in the Mathematical Sciences Memorial University of Newfoundland Atlantic Algebra Centre October 1 - 5, 2012 Add to Reading List Source URL: www.mun.ca Language: English - Date: 2012-09-18 14:27:22 Mathematics Semiring Linear algebra Tropical geometry Addition Outline of algebraic structures Semifield Abstract algebra Algebraic structures Algebra
46	The Design Principles of a Weighted Finite-State Transducer Library Mehryar Mohri, Fernando Pereira and Michael Riley AT&T Labs — Research 180 Park Avenue, Florham Park, NJ[removed] Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-02-09 10:43:25 Applied mathematics Models of computation Finite state transducer Semiring Shortest path problem Algorithm Floyd–Warshall algorithm Powerset construction Theoretical computer science Automata theory Mathematics
47	2014 IEEE 26th International Conference on Tools with Artificial Intelligence Quality over Quantity in Soft Constraints Alexander Knapp, Alexander Schiendorfer, Wolfgang Reif Institute for Software & Systems Engineering Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:23:11 Constraint optimization Local consistency Semiring Constraint satisfaction Artificial intelligence Mathematics Constraint inference Constraint programming Computing Constraint satisfaction problem
48	Dyna: A Non-Probabilistic Programming Language for Probabilistic AI Jason Eisner Department of Computer Science Johns Hopkins University Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2008-11-21 03:23:33 Theoretical computer science Formal languages Graphical models Algorithm Mathematical logic Parsing Dynamic programming Programming language Semiring Mathematics Applied mathematics Science
49	Concurrent Kripke Structures Vineet Gupta∗ Dept. of Computer Science Stanford University, CA[removed]removed] January 9, 2005 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2005-01-09 13:06:23 Algebraic structures Order theory Boolean algebra Non-classical logic Model theory Semiring Distributivity Modal logic Structure Mathematics Abstract algebra Mathematical logic
50	A CITY IS NOT A TREE CHRISTOPHER ALEXANDER The tree of my title is not a green tree with leaves. It is the name of an abstract structure. I shall contrast it with another, more complex abstract structure called a semila Add to Reading List Source URL: www.bp.ntu.edu.tw Language: English - Date: 2014-04-29 02:31:59 Algebra Lattice theory Order theory Semilattice Lattice Join and meet Semiring Mereology Arrangement of hyperplanes Abstract algebra Algebraic structures Mathematics