3199 search results - page 532 / 640 » Variability in Automation System Models |
ICASSP
2010
IEEE
15 years 2 months ago
2010
IEEE
Ambient Inteligence aims to create smart spaces providing services in a transparent and non-intrusive fashion, so context awareness and user adaptation are key issues. Speech can ...
120
Voted
NECO
2007
15 years 2 months ago
2007
We propose a Markov process model for spike-frequency adapting neural ensembles which synthesizes existing mean-adaptation approaches, population density methods, and inhomogeneou...
164
Voted
ISVD
2010
IEEE
15 years 14 days ago
2010
IEEE
An interesting property of the Voronoi tessellation is studied in the context of its application to the analysis of hydration shells in computer simulation of solutions. Namely the...
106
Voted
MANSCI
2010
14 years 9 months ago
2010
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...
112
Voted
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...