Sciweavers

10910 search results - page 249 / 2182
» Input modeling using a computer algebra system
Sort
View
AUTOMATICA
2006
150views more  AUTOMATICA 2006»
15 years 5 months ago
Enlarging the terminal region of nonlinear model predictive control using the support vector machine method
In this paper, Receding Horizon Model Predictive Control (RHMPC) of nonlinear systems subject to input and state constraints is considered. We propose to estimate the terminal reg...
Chong Jin Ong, Dan Sui, Elmer G. Gilbert
SAC
2003
ACM
15 years 10 months ago
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
Mirko Viroli
168
Voted
NDSS
2009
IEEE
16 years 8 days ago
Two-Party Computation Model for Privacy-Preserving Queries over Distributed Databases
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
Sherman S. M. Chow, Jie-Han Lee, Lakshminarayanan ...
ASWEC
2007
IEEE
15 years 9 months ago
Managing Conflicts When Using Combination Strategies to Test Software
Testers often represent systems under test in input parameter models. These contain parameters with associated values. Combinations of parameter values, with one value for each pa...
Mats Grindal, Jeff Offutt, Jonas Mellin
ICIP
2005
IEEE
16 years 7 months ago
Adaptive edge enhancement using a neurodynamical model of visual attention
A new approach for selective edge enhancement using unsharp masking is presented. This is based on the premise that biological vision and image reproduction share common principle...
Francesca Gasparini, Silvia Corchs, Raimondo Schet...