Sciweavers

1855 search results - page 59 / 371
» System Consequence
Sort
View
HYBRID
2004
Springer
15 years 5 months ago
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
Amit Bhatia, Emilio Frazzoli
ISADS
1999
IEEE
15 years 4 months ago
Fault Tolerance in Decentralized Systems
: In a decentralised system the problems of fault tolerance, and in particular error recovery, vary greatly depending on the design assumptions. For example, in a distributed datab...
Brian Randell
LREC
2010
175views Education» more  LREC 2010»
15 years 1 months ago
Ad-hoc Evaluations Along the Lifecycle of Industrial Spoken Dialogue Systems: Heading to Harmonisation?
With a view to rationalise the evaluation process within the Orange Labs spoken dialogue system projects, a field audit has been realised among the various related professionals. ...
Marianne Laurent, Philippe Bretier, Carole Manquil...
IJCAI
1989
15 years 1 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
JCB
2002
131views more  JCB 2002»
14 years 11 months ago
Modeling and Simulation of Genetic Regulatory Systems: A Literature Review
In order to understand the functioning of organisms on the molecular level, we need to know which genes are expressed, when and where in the organism, and to which extent. The reg...
Hidde de Jong