Sciweavers

2425 search results - page 129 / 485
» An abstraction of the Lidar measurements
Sort
View
ECAL
2007
Springer
16 years 17 days ago
Detecting Non-trivial Computation in Complex Dynamics
Abstract. We quantify the local information dynamics at each spatiotemporal point in a complex system in terms of each element of computation: information storage, transfer and mod...
Joseph T. Lizier, Mikhail Prokopenko, Albert Y. Zo...
ICA
2007
Springer
16 years 16 days ago
The Role of High Frequencies in Convolutive Blind Source Separation of Speech Signals
Abstract. In this paper, we investigate the importance of the high frequencies in the problem of convolutive blind source separation (BSS) of speech signals. In particular, we focu...
Maria G. Jafari, Mark D. Plumbley
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 16 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
LSSC
2007
Springer
16 years 16 days ago
Comments on the GMRES Convergence for Preconditioned Systems
Abstract. The purpose of this paper is to comment a frequent observation by the engineers studying acoustic scattering. It is related to the convergence of the GMRES method when so...
Nabil Gmati, Bernard Philippe
ICRA
2006
IEEE
86views Robotics» more  ICRA 2006»
16 years 13 days ago
The Statistical Dynamics of Programmed Self-assembly
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
Nils Napp, Samuel Burden, Eric Klavins