Semiring

Results: 84



#Item
31Network theory / Ring theory / Semiring / Routing algorithms / Search algorithms / Shortest path problem / A* search algorithm / Static single assignment form / External / Mathematics / Algebra / Graph theory

A General Method for Assessment of Security in Complex Services ⋆ Leanid Krautsevich1 , Fabio Martinelli2 , and Artsiom Yautsiukhin2 1 2

Add to Reading List

Source URL: wwwold.iit.cnr.it

Language: English - Date: 2011-08-10 05:58:47
32Algebraic structures / Ring theory / Semiring / Relational model / Relational algebra / Symbol / Polynomial ring / Constructible universe / Function / Abstract algebra / Mathematics / Algebra

Aggregation in Probabilistic Databases via Knowledge Compilation Robert Fink and Larisa Han and Dan Olteanu Deptartment of Computer Science, University of Oxford Wolfson Building, Parks Road, OX1 3QD Oxford, UK {robert.f

Add to Reading List

Source URL: vldb.org

Language: English - Date: 2012-01-21 14:30:02
33Semiring / Software engineering / Geometry / Automata theory / Formal languages / Topology / Trust metric / Metric / Type safety / Mathematics / Algebraic structures / Ring theory

General Framewhork for Secure Service Orchestration? Gabriele Costa1 , Fabio Martinelli2 , and Artsiom Yautsiukhin2 1 Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi.

Add to Reading List

Source URL: wwwold.iit.cnr.it

Language: English - Date: 2014-09-19 11:38:09
34Data management / Semiring / Linear temporal logic / Relational algebra / Provenance / Expressed sequence tag / Tropical geometry / NIP / K / Algebraic structures / Algebra / Mathematics

A Provenance Framework for Data-Dependent Process Analysis Daniel Deutch Tel Aviv University Yuval Moskovitch

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2014-01-06 10:12:54
35Hidden Markov model / Mathematics / Science / Numerical software / COMPASS/Sample Code / SYmbolic LinK / Ring theory / Semiring / Vehicle Identification Number

Preliminary versions of this paper were presented at ISIT 1997 in Ulm, Germany, on June 30, 1997, and at ISCTA 1997, Ambleside U.K., on July 15, 1997. Draft of 23 Sep[removed]:14 a.m. The Generalized Distributive Law∗

Add to Reading List

Source URL: cba.mit.edu

Language: English - Date: 2011-12-13 18:50:08
36Algebraic structures / Ring theory / Semiring / Additive identity / Ring / Pseudo-ring / Inverse element / Sage / Identity element / Abstract algebra / Mathematics / Algebra

Sage Reference Manual: Standard Semirings Release 6.6.beta0 The Sage Development Team

Add to Reading List

Source URL: sagemath.org

Language: English - Date: 2015-02-21 07:35:20
37Algebra / Algebraic structures / Formal languages / Semigroup theory / Category theory / Semiring / Monoid / Semiautomaton / Regular language / Abstract algebra / Automata theory / Mathematics

Context-free coalgebras Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten January 20, 2013 Abstract In this article, we provide a coalgebraic account of parts of the mathematical theory underlying context-free lan

Add to Reading List

Source URL: oai.cwi.nl

Language: English - Date: 2013-03-04 05:53:03
38Algebra / Markov models / Computer accessibility / Speech recognition / Viterbi algorithm / Semiring / Finite state transducer / Lattice / Brillouin zone / Abstract algebra / Mathematics / Error detection and correction

GENERATING EXACT LATTICES IN THE WFST FRAMEWORK Daniel Povey1 , Mirko Hannemann1,2, Gilles Boulianne , Luk´as Burget , Arnab Ghoshal5, Milos Janda2 , Martin Kara´at2, Stefan Kombrink2 , Petr Motl´c ek6

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2012-06-12 09:45:08
39Cardinality / Axiom of choice / Cardinal number / Countable set / Bijection / Equivalence relation / Semiring / Entailment / Surjective function / Mathematics / Logic / Functions and mappings

ORDER AND ARITHMETIC OF CARDINALITIES PETE L. CLARK Here we pursue Cantor’s theory of cardinalities of infinite sets a bit more deeply. We also begin to take a more sophisticated approach in that we identify which res

Add to Reading List

Source URL: math.uga.edu

Language: English - Date: 2012-08-06 14:14:25
40Constraint optimization / Constraint satisfaction problem / Preference / Constraint satisfaction / Optimization problem / Semiring / Economics / Applied mathematics / Constraint programming / Mathematical optimization / Mathematics

Elicitation Strategies for Soft Constraint Problems with Missing Preferences: Properties, Algorithms and Experimental Studies Mirco Gelain1 , Maria Silvia Pini1 , Francesca Rossi1 , K. Brent Venable1 , and Toby Walsh2 1

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2010-05-12 15:34:36
UPDATE