5339 search results - page 123 / 1068 » Controllable Delay-Insensitive Processes |
107
click to vote
CAV
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
213
click to vote
PERCOM
2011
ACM
14 years 4 months ago
2011
ACM
Efficient monitoring and control of wastewater treatment plants (WWTPs) has become an important public issue as the cost of electricity continues to grow and the quality requiremen...
105
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we extend the cross-multiplicative transfer function (CMTF) approach for improved system identification in the shorttime Fourier transform (STFT) domain. The propo...
104
Voted
IJCNN
2006
IEEE
15 years 6 months ago
2006
IEEE
— The optimization of classification systems is often confronted by the solution over-fit problem. Solution over-fit occurs when the optimized classifier memorizes the traini...
CODES
2002
IEEE
15 years 5 months ago
2002
IEEE
Eclipse defines a heterogeneous multiprocessor architecture template for data-dependent stream processing. Intended as a scalable and flexible subsystem of forthcoming media-proce...