Sciweavers

2409 search results - page 139 / 482
» On Extended Regular Expressions
Sort
View
ML
2010
ACM
159views Machine Learning» more  ML 2010»
15 years 3 months ago
Algorithms for optimal dyadic decision trees
Abstract A dynamic programming algorithm for constructing optimal dyadic decision trees was recently introduced, analyzed, and shown to be very effective for low dimensional data ...
Don R. Hush, Reid B. Porter
MP
2011
14 years 7 months ago
Strong KKT conditions and weak sharp solutions in convex-composite optimization
Using variational analysis techniques, we study convex-composite optimization problems. In connection with such a problem, we introduce several new notions as variances of the clas...
Xi Yin Zheng, Kung Fu Ng
116
Voted
ICDE
2008
IEEE
106views Database» more  ICDE 2008»
15 years 11 months ago
Weighted Boolean conditions for ranking
— Current database systems are tailored to efficiently evaluate Boolean expressions which are typically used as selection conditions to restrict the result set. We propose to ad...
Matthias Beck, Burkhard Freitag
ICFP
2003
ACM
15 years 9 months ago
Reasoning about recursive procedures with parameters
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
Ralph-Johan Back, Viorel Preoteasa
164
Voted
MFCS
2001
Springer
15 years 9 months ago
Automata on Linear Orderings
We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these w...
Véronique Bruyère, Olivier Carton