Sciweavers

314 search results - page 33 / 63
» Cubical token systems
Sort
View
AUTOMATICA
2004
147views more  AUTOMATICA 2004»
13 years 8 months ago
Interval analysis and dioid: application to robust controller design for timed event graphs
This paper deals with feedback controller synthesis for timed event graphs in dioids, where the number of initial tokens and time delays are only known to belong to intervals. We ...
Mehdi Lhommeau, Laurent Hardouin, Bertrand Cottenc...
ICASSP
2011
IEEE
13 years 11 days ago
NAP for high level language identification
Varying channel conditions present a difficult problem for many speech technologies such as language identification (LID). Channel compensation techniques have been shown to sig...
Fred S. Richardson, William M. Campbell
IEAAIE
1995
Springer
14 years 6 days ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
TCS
2008
13 years 8 months ago
Information systems revisited - the general continuous case
In this paper a new notion of continuous information system is introduced. It is shown that the information systems of this kind generate exactly the continuous domains. The new i...
Dieter Spreen, Luoshan Xu, Xuxin Mao
ICDCSW
2005
IEEE
14 years 2 months ago
State Checksum and Its Role in System Stabilization
Although a self-stabilizing system that suffers from a transient fault is guaranteed to converge to a legitimate state after a finite number of steps, the convergence can be slow ...
Chin-Tser Huang, Mohamed G. Gouda