Sciweavers

815 search results - page 10 / 163
» Algebraic Recognizability of Languages
Sort
View
LATA
2009
Springer
15 years 4 months ago
On Extended Regular Expressions
d abstract) Benjamin Carle, Paliath Narendran and Colin Scheriff Dept. of Computer Science University at Albany–SUNY Albany, NY 12222 June 19, 2007 In this paper we extend the ...
Benjamin Carle, Paliath Narendran
ICDT
2009
ACM
108views Database» more  ICDT 2009»
15 years 10 months ago
A compositional query algebra for second-order logic and uncertain databases
World-set algebra is a variable-free query language for uncertain databases. It constitutes the core of the query language implemented in MayBMS, an uncertain database system. Thi...
Christoph Koch
AISC
2008
Springer
14 years 11 months ago
Towards an Implementation of a Computer Algebra System in a Functional Language
This paper discusses the pros and cons of using a functional language for implementing a computer algebra system. The contributions of the paper are twofold. Firstly, we discuss so...
Oleg Lobachev, Rita Loogen
160
Voted
ICDE
2004
IEEE
89views Database» more  ICDE 2004»
15 years 11 months ago
Nested Queries and Quantifiers in an Ordered Context
We present algebraic equivalences that allow to unnest nested algebraic expressions for order-preserving algebraic operators. We illustrate how these equivalences can be applied s...
Norman May, Sven Helmer, Guido Moerkotte
ENTCS
2006
273views more  ENTCS 2006»
14 years 9 months ago
Operator Algebras and the Operational Semantics of Probabilistic Languages
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
Alessandra Di Pierro, Herbert Wiklicky