Sciweavers

22 search results - page 3 / 5
» Monotonicity Criteria for Polynomial Interpretations over th...
Sort
View
CDC
2008
IEEE
236views Control Systems» more  CDC 2008»
14 years 4 months ago
Non-monotonic Lyapunov functions for stability of discrete time nonlinear and switched systems
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
Amir Ali Ahmadi, Pablo A. Parrilo
ICDE
2011
IEEE
245views Database» more  ICDE 2011»
13 years 1 months ago
Stochastic skyline operator
— In many applications involving the multiple criteria optimal decision making, users may often want to make a personal trade-off among all optimal solutions. As a key feature, t...
Xuemin Lin, Ying Zhang, Wenjie Zhang, Muhammad Aam...
PODC
1990
ACM
14 years 1 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
ICCV
2003
IEEE
14 years 11 months ago
Eye Design in the Plenoptic Space of Light Rays
Natural eye designs are optimized with regard to the tasks the eye-carrying organism has to perform for survival. This optimization has been performed by the process of natural ev...
Cornelia Fermüller, Jan Neumann, Yiannis Aloi...
JMLR
2012
12 years 7 days ago
Conditional Likelihood Maximisation: A Unifying Framework for Information Theoretic Feature Selection
We present a unifying framework for information theoretic feature selection, bringing almost two decades of research on heuristic filter criteria under a single theoretical inter...
Gavin Brown, Adam Pocock, Ming-Jie Zhao, Mikel Luj...