Sciweavers

4047 search results - page 41 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
CORR
2010
Springer
124views Education» more  CORR 2010»
14 years 12 months ago
On Omega Context Free Languages which are Borel Sets of Infinite Rank
This paper is a continuation of the study of topological properties of omega context free languages (-CFL). We proved in [Topological Properties of Omega Context Free Languages, T...
Olivier Finkel
JMLR
2006
106views more  JMLR 2006»
14 years 11 months ago
Stability Properties of Empirical Risk Minimization over Donsker Classes
We study some stability properties of algorithms which minimize (or almost-minimize) empirical error over Donsker classes of functions. We show that, as the number n of samples gr...
Andrea Caponnetto, Alexander Rakhlin
PPSN
2010
Springer
14 years 10 months ago
An Analysis of the XOR Dynamic Problem Generator Based on the Dynamical System
In this paper, we use the exact model (or dynamical system approach) to describe the standard evolutionary algorithm (EA) as a discrete dynamical system for dynamic optimization pr...
Renato Tinós, Shengxiang Yang
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 27 days ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
ADBIS
2009
Springer
148views Database» more  ADBIS 2009»
15 years 6 months ago
On Containment of Conjunctive Queries with Negation
Abstract. We consider the problem of query containment for conjunctive queries with the safe negation property. Some necessary conditions for this problem are given. A part of the ...
Victor Felea