Sciweavers

2409 search results - page 176 / 482
» On Extended Regular Expressions
Sort
View
RIVF
2007
15 years 8 months ago
Generalized Percolation Processes Using Pretopology Theory
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
Soufian Ben Amor, V. Levorato, Ivan Lavallé...
JCT
2006
53views more  JCT 2006»
15 years 6 months ago
On the number of factorizations of a full cycle
We give a new expression for the number of factorizations of a full cycle into an ordered product of permutations of specified cycle types. This is done through purely algebraic me...
John Irving
JANCL
2007
107views more  JANCL 2007»
15 years 6 months ago
Distributed knowledge
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
Floris Roelofsen
ENTCS
2002
118views more  ENTCS 2002»
15 years 6 months ago
Rank 2 Types for Term Graph Rewriting
We define a notion of type assignment with polymorphic intersection types of rank 2 for a term graph rewriting language that expresses sharing and cycles. We show that type assign...
Steffen van Bakel
TIT
1998
77views more  TIT 1998»
15 years 6 months ago
A Rate-Distortion Theorem for Arbitrary Discrete Sources
— A rate-distortion theorem for arbitrary (not necessarily stationary or ergodic) discrete-time finite-alphabet sources is given. This result, which provides the expression of t...
Po-Ning Chen, Fady Alajaji