Sciweavers

4047 search results - page 491 / 810
» The Discrete Basis Problem
Sort
View
ENTCS
2007
107views more  ENTCS 2007»
15 years 5 months ago
Modeling Environment for Component Model Checking from Hierarchical Architecture
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
Pavel Parizek, Frantisek Plasil
JSS
2006
118views more  JSS 2006»
15 years 5 months ago
Assessment of eco-security in the Knowledge Grid e-science environment
Ecological security is an important basis of the entire human security system, the cornerstone for human survival. Knowing the status of ecological security is crucial for making ...
Xiaoqing Shi, Jingzhu Zhao, Ouyang Zhiyun
MP
2008
115views more  MP 2008»
15 years 5 months ago
An efficient approach to updating simplex multipliers in the simplex algorithm
The simplex algorithm computes the simplex multipliers by solving a system (or two triangular systems) at each iteration. This note offers an efficient approach to updating the sim...
Jian-Feng Hu, Ping-Qi Pan
NPL
2008
63views more  NPL 2008»
15 years 5 months ago
New Routes from Minimal Approximation Error to Principal Components
We introduce two new methods of deriving the classical PCA in the framework of minimizing the mean square error upon performing a lower-dimensional approximation of the data. These...
Abhilash Alexander Miranda, Yann-Aël Le Borgn...
SCL
2008
113views more  SCL 2008»
15 years 5 months ago
Modular design of nonlinear observers for state and disturbance estimation
This work studies the problem of design of nonlinear observers in the presence of exogenous disturbances. In particular, the present work proposes a systematic design method for no...
Costas Kravaris, Georgios Savoglidis