Sciweavers

118
Voted
ECEASST
2010
14 years 10 months ago
Self Organized Swarms for cluster preserving Projections of high-dimensional Data
: A new approach for topographic mapping, called Swarm-Organized Projection (SOP) is presented. SOP has been inspired by swarm intelligence methods for clustering and is similar to...
Alfred Ultsch, Lutz Herrmann
ECEASST
2010
14 years 10 months ago
Assemblies as Graph Processes
This short paper explores the potential of embedding-based graph rewriting as a tool for understanding natural computing, and in particular self-assembly. The basic point of view i...
Dirk Janssens
63
Voted
ECEASST
2010
14 years 10 months ago
On Judgements and Propositions
Bernd Mahr
105
Voted
ECEASST
2010
14 years 10 months ago
Conditional Adaptive Star Grammars
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...
Berthold Hoffmann
60
Voted
ECEASST
2010
14 years 10 months ago
Towards Generalizing Visual Process Patterns
Christian Soltenborn, Gregor Engels
70
Voted
ECEASST
2010
14 years 10 months ago
Vorwort / Preface
Michael Zapf, Klaus David
86
Voted
ECEASST
2010
14 years 10 months ago
On Teaching Logic and Algebraic Specification
ation and logic. The logic courses mainly provided a very abstract and
Till Mossakowski
62
Voted
ECEASST
2010
14 years 10 months ago
Algebraic Model Checking
Peter Padawitz
106
Voted
ECEASST
2010
14 years 10 months ago
Checking Graph-Transformation Systems for Confluence
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
Detlef Plump