7380 search results - page 1077 / 1476 » Engineering Software Intensive Systems |
225
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
243
click to vote
AROBOTS
2011
15 years 1 months ago
2011
Abstract— GP-BayesFilters are a general framework for integrating Gaussian process prediction and observation models into Bayesian filtering techniques, including particle filt...
221
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
224
click to vote
TASE
2011
IEEE
15 years 1 months ago
2011
IEEE
: This paper addresses the dynamic pricing problem of a single-item, make-to-stock production system. Demand arrives according to Poisson processes with changeable arrival rate dep...
210
click to vote
TASLP
2011
15 years 1 months ago
2011
— Missing feature theory (MFT) has demonstrated great potential for improving the noise robustness in speech recognition. MFT was mostly applied in the log-spectral domain since ...