Sciweavers

6906 search results - page 248 / 1382
» An algorithm for modelling key terms
Sort
View
AUTOMATICA
2007
111views more  AUTOMATICA 2007»
15 years 6 months ago
A stable block model predictive control with variable implementation horizon
— In this paper, we present a stable receding horizon model predictive control for discrete-time nonlinear systems. The standard MPC scheme is modified to incorporate (1) a bloc...
Jing Sun, Ilya V. Kolmanovsky, Reza Ghaemi, Shuhao...
IJRR
2010
102views more  IJRR 2010»
15 years 1 months ago
Modeling and Calibration of Inertial and Vision Sensors
This paper is concerned with the problem of estimating the relative translation and orientation of an inertial measurement unit and a camera, which are rigidly connected. The key ...
Jeroen D. Hol, Thomas B. Schön, Fredrik Gusta...
SCESM
2006
ACM
262views Algorithms» more  SCESM 2006»
16 years 15 days ago
Scenario-driven modeling and validation of requirements models
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
Christian Seybold, Silvio Meier, Martin Glinz
SIGIR
2004
ACM
15 years 12 months ago
The document as an ergodic markov chain
In recent years, statistical language models are being proposed as alternative to the vector space model. Viewing documents as language samples introduces the issue of defining a...
Eduard Hoenkamp, Dawei Song
TCS
2002
15 years 6 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...