Sciweavers

1126 search results - page 48 / 226
» Modularity and the Rule of Adaptation
Sort
View
JAR
2010
122views more  JAR 2010»
14 years 6 months ago
Partial and Nested Recursive Function Definitions in Higher-order Logic
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
Alexander Krauss
ICALP
2010
Springer
15 years 4 months ago
Compositionality in Graph Transformation
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
Arend Rensink
PRL
2002
106views more  PRL 2002»
14 years 11 months ago
Kernel density estimation with adaptive varying window size
A new method of kernel density estimation with a varying adaptive window size is proposed. It is based on the socalled intersection of confidence intervals (ICI) rule. Several exa...
Vladimir Katkovnik, Ilya Shmulevich
JODS
2007
138views Data Mining» more  JODS 2007»
14 years 11 months ago
A Formal Framework for Adaptive Access Control Models
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
Stefanie Rinderle, Manfred Reichert
IJAR
2002
98views more  IJAR 2002»
14 years 11 months ago
Contradiction sensitive fuzzy model-based adaptive control
Fuzzy model-based adaptive control, unlike traditional fuzzy control, extracts expert knowledge from data by using model identification techniques. In this paper, we propose an an...
Pablo Carmona, Juan Luis Castro, Jose Manuel Zurit...