Sciweavers

4698 search results - page 386 / 940
» Making Functionality More General
Sort
View
WCE
2007
15 years 6 months ago
Adaptive Automata Community Detection and Clustering: A generic methodology
— We present in this paper a generic methodology based on genetic automata for modelling community detection. With Communities, we deal with dynamic organizations which are self-...
Rawan Ghnemat, Cyrille Bertelle, Gérard Hen...
136
Voted
CSL
2010
Springer
15 years 5 months ago
Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs
Abstract. We give the first mechanized proof of the fact that for showing termination of a term rewrite system, we may restrict to well-formed terms using just the function symbols...
Christian Sternagel, René Thiemann
140
Voted
DCC
2008
IEEE
15 years 5 months ago
Coding Overcomplete Representations of Audio Using the MCLT
We propose a system for audio coding using the modulated complex lapped transform (MCLT). In general, it is difficult to encode signals using overcomplete representations without ...
Byung-Jun Yoon, Henrique S. Malvar
COMPLEXITY
2008
84views more  COMPLEXITY 2008»
15 years 5 months ago
Evolutionary learning of small networks
Results are presented of a simulation which mimics an evolutionary learning process for small networks. Special features of these networks include a high recurrency, a transition ...
Thomas Filk, Albrecht von Müller
DM
2010
91views more  DM 2010»
15 years 5 months ago
Adjacency posets of planar graphs
In this paper, we show that the dimension of the adjacency poset of a planar graph is at most 8. From below, we show that there is a planar graph whose adjacency poset has dimensio...
Stefan Felsner, Ching Man Li, William T. Trotter