Sciweavers

5900 search results - page 180 / 1180
» Dependable Systems
Sort
View
IJCAI
1989
15 years 6 months ago
The Search Ahead Conflict Resolution for Parallel Firing of Production Systems
To explore the parallelism among rules is one of the ways to increase the speed of production systems. In this paper, an Object Pattern Matching model is proposed to interpret the...
Chinh-Chi Hsu, Feng-Hsu Wang
121
Voted
INTERSPEECH
2010
14 years 12 months ago
Analyzing user utterances in barge-in-able spoken dialogue system for improving identification accuracy
In our barge-in-able spoken dialogue system, the user's behaviors such as barge-in timing and utterance expressions vary according to his/her characteristics and situations. ...
Kyoko Matsuyama, Kazunori Komatani, Ryu Takeda, To...
CONCUR
1998
Springer
15 years 9 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
128
Voted
ADCM
2007
93views more  ADCM 2007»
15 years 5 months ago
Spectral behaviour of GMRES applied to singular systems
The purpose of this paper is to develop a spectral analysis of the Hessenberg matrix obtained by the GMRES algorithm used for solving a linear system with a singular matrix. We pr...
Laurent Smoch
QEST
2010
IEEE
15 years 3 months ago
Information Hiding in Probabilistic Concurrent Systems
Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are exa...
Miguel E. Andrés, Catuscia Palamidessi, Pet...