Sciweavers

3468 search results - page 438 / 694
» Solid and physical modeling
Sort
View
BMCBI
2005
152views more  BMCBI 2005»
15 years 6 months ago
An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem
Background: The protein folding problem is a fundamental problems in computational molecular biology and biochemical physics. Various optimisation methods have been applied to for...
Alena Shmygelska, Holger H. Hoos
IJRR
2000
107views more  IJRR 2000»
15 years 6 months ago
Dynamics Simulation and Controller Interfacing for Legged Robots
Dynamics simulation can play a critical role in the engineering of robotic control code, and there exist a variety of strategies both for building physical models and for interact...
Jesse A. Reichler, Fred Delcomyn
PERCOM
2010
ACM
15 years 4 months ago
Towards automated verification of autonomous networks: A case study in self-configuration
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
JaeSeung Song, Tiejun Ma, Peter R. Pietzuch
JMLR
2010
163views more  JMLR 2010»
15 years 1 months ago
Dense Message Passing for Sparse Principal Component Analysis
We describe a novel inference algorithm for sparse Bayesian PCA with a zero-norm prior on the model parameters. Bayesian inference is very challenging in probabilistic models of t...
Kevin Sharp, Magnus Rattray
ICASSP
2011
IEEE
14 years 10 months ago
Glottal inverse filtering using stabilised weighted linear prediction
This paper presents and evaluates an inverse filtering technique of the speech signal which is based on the Stabilized Weighted Linear Prediction (SWLP) of speech [1]. SWLP empha...
George P. Kafentzis, Yannis Stylianou, Paavo Alku