Sciweavers

1088 search results - page 129 / 218
» Independence of Negative Constraints
Sort
View
VECPAR
2000
Springer
15 years 1 months ago
A Parallel Implementation of an Interior-Point Algorithm for Multicommodity Network Flows
A parallel implementation of the specialized interior-point algorithm for multicommodity network flows introduced in [5] is presented. In this algorithm, the positive definite syst...
Jordi Castro, Antonio Frangioni
DSVIS
1995
Springer
15 years 1 months ago
On the Expression of Interaction Properties within an Interactor Model
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
Panos Markopoulos
ICSE
1995
IEEE-ACM
15 years 1 months ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
Michael Jackson, Pamela Zave
COLING
2000
14 years 11 months ago
MT and Topic-Based Techniques to Enhance Speech Recognition Systems for Professional Translators
Our principle objective was to reduce the error rate of speech recognition systems used by professional translators. Our work concentrated on Spanish-to-English translation. In a ...
Yevgeny Ludovik, Ron Zacharski
CDC
2009
IEEE
161views Control Systems» more  CDC 2009»
14 years 11 months ago
Quadratic Programming based data assimilation with passive drifting sensors for shallow water flows
We present a method for assimilating Lagrangian sensor measurement data into a Shallow Water Equation model. Using our method, the variational data assimilation problem is formulat...
Andrew Tinka, Issam S. Strub, Qingfang Wu, Alexand...