4767 search results - page 281 / 954 » Structures for Abstract Rewriting |
184
click to vote
ICA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We proposed recently a new method for separating linearquadratic mixtures of independent real sources, based on parametric identification of a recurrent separating struc...
144
click to vote
JELIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
141
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
157
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Starting from a general definition of how to model the organisation of multiagent systems with the aid of holonic structures, we discuss design parameters for such struc...
126
click to vote
EUROGP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this contribution we investigate the influence of different variation effects on the growth of code. A mutation-based variant of linear GP is applied that operates ...