Sciweavers

4894 search results - page 715 / 979
» Dynamic Abstraction Planning
Sort
View
GD
2008
Springer
15 years 7 months ago
Topology Preserving Constrained Graph Layout
Abstract. Constrained graph layout is a recent generalisation of forcedirected graph layout which allows constraints on node placement. We give a constrained graph layout algorithm...
Tim Dwyer, Kim Marriott, Michael Wybrow
ICA
2010
Springer
15 years 6 months ago
The 2010 Signal Separation Evaluation Campaign (SiSEC2010): Audio Source Separation
Abstract. This paper introduces the audio part of the 2010 communitybased Signal Separation Evaluation Campaign (SiSEC2010). Seven speech and music datasets were contributed, which...
Shoko Araki, Alexey Ozerov, Vikrham Gowreesunker, ...
ACTA
2007
114views more  ACTA 2007»
15 years 6 months ago
Hybridization methods for the analysis of nonlinear systems
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
Eugene Asarin, Thao Dang, Antoine Girard
ACTA
2007
96views more  ACTA 2007»
15 years 6 months ago
Recursive Petri nets
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
Serge Haddad, Denis Poitrenaud
AMCS
2008
124views Mathematics» more  AMCS 2008»
15 years 6 months ago
Approximate Controllability of Infinite Dimensional Systems of the n-th Order
The objective of the article is to obtain general conditions for several types of controllability at once for an abstract differential equation of arbitrary order, instead of condi...
Jerzy Stefan Respondek