69 search results - page 13 / 14 » Hybrid Systems with Finite Bisimulations |
JSS
2010
13 years 1 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
IEICET
2007
13 years 6 months ago
2007
The channel capacity of the indoor multiple input multiple output (MIMO) system is investigated with consideration of the effects of the wall by using a hybrid method of the finit...
ISCAS
2006
IEEE
14 years 8 days ago
2006
IEEE
This paper proposes two new methods for optimizing objectives and constraints. The GP approach is very general and hardware resources in finite wordlength implementation of it allo...
CDC
2008
IEEE
13 years 8 months ago
2008
IEEE
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
LREC
2010
13 years 7 months ago
2010
This paper describes the process and the resources used to automatically annotate a French corpus of spontaneous speech transcriptions in super-chunks. Super-chunks are enhanced c...