Sciweavers

4810 search results - page 243 / 962
» Modeling Value Speculation
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...
ISSE
2006
15 years 6 months ago
Modeling security as a dependability attribute: a refinement-based approach
Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani...
ENTCS
2007
116views more  ENTCS 2007»
15 years 6 months ago
Co-Algebraic Models for Quantitative Spatial Logics
We introduce a class of coalgebraic models and a family of modal logics that support the specication of spatial properties of distributed applications. The evaluation of a formul...
Vincenzo Ciancia, Gian Luigi Ferrari
IVC
2002
85views more  IVC 2002»
15 years 6 months ago
Multi-modal gray-level histogram modeling and decomposition
In this paper, we present a novel multi-modal histogram thresholding method in which no a priori knowledge about the number of clusters to be extracted is needed. The proposed met...
Jeng-Horng Chang, Kuo-Chin Fan, Yang-Lang Chang
EMNLP
2010
15 years 4 months ago
Crouching Dirichlet, Hidden Markov Model: Unsupervised POS Tagging with Context Local Tag Generation
We define the crouching Dirichlet, hidden Markov model (CDHMM), an HMM for partof-speech tagging which draws state prior distributions for each local document context. This simple...
Taesun Moon, Katrin Erk, Jason Baldridge