Sciweavers

691 search results - page 30 / 139
» Equational Abstractions
Sort
View
INFORMATICALT
2000
82views more  INFORMATICALT 2000»
13 years 8 months ago
Recursive Algorithms of Time Series Observations Recognition
Abstract. The paper presents new method for sequential classification of the time series observations. Methods and algorithms of sequential recognition are obtained on the basis of...
Edward Shpilewski
HYBRID
2009
Springer
14 years 3 months ago
Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
ion of discrete abstractions of arbitrary memory span for nonlinear sampled systems Gunther Reißig⋆ Technische Universit¨at Berlin, Fakult¨at Elektrotechnik und Informatik, He...
Gunther Reißig
KI
2009
Springer
14 years 3 months ago
Variational Bayes for Generic Topic Models
The article contributes a derivation of variational Bayes for a large class of topic models by generalising from the well-known model of latent Dirichcation. For an abstraction of ...
Gregor Heinrich, Michael Goesele
HYBRID
2005
Springer
14 years 2 months ago
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...
Ian M. Mitchell, Jeremy A. Templeton
LSSC
2001
Springer
14 years 1 months ago
Statistical Algorithms for Simulation of Electron Quantum Kinetics in Semiconductors - Part I
Abstract. In this work we solve the Barker-Ferry equation which accounts for the quantum character of the electron-phonon interaction in semiconductors in the framework of the Mont...
Todor V. Gurov, Paula A. Whitlock