Sciweavers

3038 search results - page 518 / 608
» Industrial evolutionary computing
Sort
View
CSDA
2011
14 years 10 months ago
Approximate forward-backward algorithm for a switching linear Gaussian model
Motivated by the application of seismic inversion in the petroleum industry we consider a hidden Markov model with two hidden layers. The bottom layer is a Markov chain and given ...
Hugo Hammer, Håkon Tjelmeland
EWC
2011
98views more  EWC 2011»
14 years 10 months ago
Real-time triangulation of point streams
Hand-held laser scanners are commonly used in industry for reverse engineering and quality measurements. In this process, it is difficult for the human operator to scan the target...
Klaus Denker, Burkhard Lehner, Georg Umlauf
SIGMETRICS
2011
ACM
178views Hardware» more  SIGMETRICS 2011»
14 years 10 months ago
Should we worry about memory loss?
In recent years the High Performance Computing (HPC) industry has benefited from the development of higher density multi-core processors. With recent chips capable of executing u...
O. Perks, Simon D. Hammond, S. J. Pennycook, Steph...
JDCTA
2010
104views more  JDCTA 2010»
14 years 10 months ago
Mean Shifts Identification Model in Bivariate Process Based on LS-SVM Pattern Recognizer
This study develops a least squares support vector machines (LS-SVM) based model for bivariate process to diagnose abnormal patterns of process mean vector, and to help identify a...
Zhi-Qiang Cheng, Yi-Zhong Ma, Jing Bu
SBMF
2010
Springer
129views Formal Methods» more  SBMF 2010»
14 years 10 months ago
Directed Model Checking for B: An Evaluation and New Techniques
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
Michael Leuschel, Jens Bendisposto