Sciweavers

478 search results - page 1 / 96
» Some Existence and Preservation Results for Optimal Fixpoint...
Sort
View
DLOG
2009
13 years 3 months ago
Global Caching, Inverse Roles and Fixpoint Logics
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
Rajeev Goré
EUSFLAT
2009
105views Fuzzy Logic» more  EUSFLAT 2009»
13 years 3 months ago
Two Results About Optimization of Fuzzy Variable Functions
Abstract-- We discuss some optimization problems for fuzzy variable functions and show two interesting results. First result is related to conditions for existence of global optima...
A. David Báez-Sánchez
WSC
2007
13 years 7 months ago
New greedy myopic and existing asymptotic sequential selection procedures: preliminary empirical results
Statistical selection procedures can identify the best of a finite set of alternatives, where “best” is defined in terms of the unknown expected value of each alternative’...
Stephen E. Chick, Jürgen Branke, Christian Sc...
SIAMCO
2010
144views more  SIAMCO 2010»
13 years 10 hour ago
About the Existence of Locally Lipschitz Output Feedback Stabilizers for Nonlinear Systems
In this paper we complement some results of [L. Marconi, L. Praly, and A. Isidori, SIAM J. Control Optim., 45 (2007), pp. 2277
Alberto Isidori, Laurent Praly, Lorenzo Marconi