Sciweavers

7109 search results - page 68 / 1422
» Process Algebra with Combinators
Sort
View
PARLE
1993
15 years 2 months ago
A Parallel Programming Style and Its Algebra of Programs
Abstract. We present a set of primitive program schemes, which together with just two basic combining forms provide a suprisingly expressive parallel programming language. The prim...
Chris Hankin, Daniel Le Métayer, David Sand...
CORR
2004
Springer
71views Education» more  CORR 2004»
14 years 10 months ago
A novel approach to symbolic algebra
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient fr...
Thomas Fischbacher
LISP
2006
117views more  LISP 2006»
14 years 10 months ago
About permutation algebras, (pre)sheaves and named sets
In this paper we survey some well-known approaches proposed as general models for calculi dealing with names (like for example process calculi with name-passing). We focus on (pre)...
Fabio Gadducci, Marino Miculan, Ugo Montanari
FUIN
2008
93views more  FUIN 2008»
14 years 10 months ago
An Algebraic Framework for Defining Random Concurrent Behaviours
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
Józef Winkowski
ICASSP
2009
IEEE
15 years 4 months ago
Affine invariant features and their application to speech recognition
This paper proposes a set of affine invariant features (AIFs) for sequence data. The proposed AIFs can be calculated directly from the sequence data, and their invariance to af...
Yu Qiao, Masayuki Suzuki, Nobuaki Minematsu