Sciweavers

1416 search results - page 145 / 284
» An Exact Interpretation of While
Sort
View
101
Voted
LATA
2010
Springer
15 years 5 months ago
Simplifying Regular Expressions. A Quantitative Perspective
Abstract. We consider the efficient simplification of regular expressions and suggest a quantitative comparison of heuristics for simplifying regular expressions. To this end, we...
Hermann Gruber and Stefan Gulan
104
Voted
ESWS
2010
Springer
15 years 5 months ago
Leveraging Terminological Structure for Object Reconciliation
Abstract. It has been argued that linked open data is the major benefit of semantic technologies for the web as it provides a huge amount of structured data that can be accessed i...
Jan Noessner, Mathias Niepert, Christian Meilicke,...
84
Voted
CDC
2009
IEEE
231views Control Systems» more  CDC 2009»
15 years 5 months ago
Design of observer-based controllers for LPV systems with unknown parameters
— Output-based feedback control of LPV systems is an important problem, as in practice it is rarely the case that the full state variable is available for feedback. In this paper...
W. P. M. H. Heemels, Jamal Daafouz, Gilles Milleri...
139
Voted
HM
2009
Springer
165views Optimization» more  HM 2009»
15 years 5 months ago
Solving a Video-Server Load Re-Balancing Problem by Mixed Integer Programming and Hybrid Variable Neighborhood Search
Abstract. A Video-on-Demand system usually consists of a large number of independent video servers. In order to utilize network resources as efficiently as possible the overall net...
Jakob Walla, Mario Ruthmair, Günther R. Raidl
COCO
2001
Springer
149views Algorithms» more  COCO 2001»
15 years 5 months ago
Quantum versus Classical Learnability
Motivated by recent work on quantum black-box query complexity, we consider quantum versions of two wellstudied models of learning Boolean functions: Angluin’s model of exact le...
Rocco A. Servedio, Steven J. Gortler