Sciweavers

7040 search results - page 974 / 1408
» The Single Model Principle
Sort
View
JUCS
2007
108views more  JUCS 2007»
15 years 6 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
ANOR
2002
89views more  ANOR 2002»
15 years 6 months ago
Imperfect Inspection Games Over Time
We consider an inspection game played on a continuous finite time interval. The inspector wishes to detect a violation as soon as possible after it has been made by the operator. T...
Daniel Rothenstein, Shmuel Zamir
AUTOMATICA
2004
103views more  AUTOMATICA 2004»
15 years 6 months ago
Nonlinear adaptive control for bioreactors with unknown kinetics
We consider a control problem for a single bioreaction occuring in a continuous and well mixed bioreactor, assuming that the bioreaction's kinetics is not represented by a va...
Ludovic Mailleret, Olivier Bernard, Jean-Philippe ...
CSL
2004
Springer
15 years 6 months ago
Arc minimization in finite-state decoding graphs with cross-word acoustic context
Recent approaches to large vocabulary decoding with finite state graphs have focused on the use of state minimization algorithms to produce relatively compact graphs. This paper e...
François Yvon, Geoffrey Zweig, George Saon
COLING
2002
15 years 6 months ago
The Computation of Word Associations: Comparing Syntagmatic and Paradigmatic Approaches
It is shown that basic language processes such as the production of free word associations and the generation of synonyms can be simulated using statistical models that analyze th...
Reinhard Rapp