Sciweavers

94 search results - page 15 / 19
» Variable Additive Preconditioning Procedures
Sort
View
USAB
2008
13 years 10 months ago
Instruction Formats and Navigation Aids in Mobile Devices
Three different instruction formats were examined respecting their usefulness for the navigation through hierarchical menus in mobile phones. 56 middle-aged adults had to solve fou...
Martina Ziefle
AUTOMATICA
2007
113views more  AUTOMATICA 2007»
13 years 8 months ago
Correlation-based tuning of decoupling multivariable controllers
The iterative method labelled Correlation-based Tuning (CbT) is considered in this paper for tuning linear time-invariant multivariable controllers. The approach allows one to tun...
Ljubisa Miskovic, Alireza Karimi, Dominique Bonvin...
IOR
2011
133views more  IOR 2011»
13 years 3 months ago
Finite Disjunctive Programming Characterizations for General Mixed-Integer Linear Programs
In this paper, we give a finite disjunctive programming procedure to obtain the convex hull of general mixed-integer linear programs (MILP) with bounded integer variables. We prop...
Binyuan Chen, Simge Küçükyavuz, S...
CAV
2004
Springer
108views Hardware» more  CAV 2004»
14 years 8 days ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton
CSL
2006
Springer
13 years 8 months ago
Product of Gaussians for speech recognition
Recently there has been interest in the use of classifiers based on the product of experts (PoE) framework. PoEs offer an alternative to the standard mixture of experts (MoE) fram...
M. J. F. Gales, S. S. Airey