Sciweavers

2044 search results - page 108 / 409
» System theory for numerical analysis
Sort
View
NLPRS
2001
Springer
15 years 8 months ago
A New Prosodic Phrasing Model for Chinese TTS Systems
This paper proposes a new prosodic phrasing model for Chinese text-tospeech systems. First, in contrast to the commonly used CART techniques, we propose a new inductive learning a...
Weijun Chen, Fuzong Lin, Jianmin Li, Bo Zhang
DEDS
2010
157views more  DEDS 2010»
15 years 1 months ago
On-line Optimal Control of a Class of Discrete Event Systems with Real-Time Constraints
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...
Jianfeng Mao, Christos G. Cassandras
CDC
2009
IEEE
259views Control Systems» more  CDC 2009»
15 years 9 months ago
Comparison of stability characterisations for networked control systems
— This paper presents linear matrix inequalities for stability analysis for networked control systems (NCSs) that incorporates various network phenomena: time-varying sampling in...
Laurentiu Hetel, Marieke B. G. Cloosterman, Nathan...
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 10 months ago
Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow
In terms of the progress of the industry, the velocity and dynamic nature of the global environment, has caused serious damage and diminished our earth’s resources. A lot of eff...
Wen-Yu Liu, Kwoting Fang
CDC
2008
IEEE
119views Control Systems» more  CDC 2008»
15 years 6 months ago
Formal analysis of timed continuous Petri nets
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
Marius Kloetzer, Cristian Mahulea, Calin Belta, La...