15660 search results - page 218 / 3132 » The Unbalance of Set Systems |
170
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
140
click to vote
FLAIRS
2006
2006
Celerina - A Generative Music System Using Aesthetical Reduction Applied to Simple Cellular Automata
15 years 8 months ago
Celerina is the software core of a realtime system for dynamic music generation. Several one-dimensional binary cellular automata generate melodic patterns that are subsequently r...
163
click to vote
APPINF
2003
15 years 8 months ago
2003
In this paper we present a novel communication layer for distributed heterogenous environments typical found in the area of Grid computing. This communication layer is used as par...
191
click to vote
FMOODS
2003
15 years 8 months ago
2003
This paper1 presents the Kell calculus, a new distributed process calculus that retains the original insights of the Seal calculus (local actions, process replication) and of the M...
171
click to vote
SIAMDM
2008
15 years 6 months ago
2008
Let Kn,n denote the complete bipartite graph with n vertices in each partite set and Kn,n +I denote Kn,n with a 1-factor added. It is proved in this paper that there exists an m-c...