Sciweavers

1126 search results - page 79 / 226
» Modularity and the Rule of Adaptation
Sort
View
133
Voted
CSL
2006
Springer
15 years 7 months ago
A Sequent Calculus for Type Theory
Based on natural deduction, Pure Type Systems (PTS) can express a wide range of type theories. In order to express proof-search in such theories, we introduce the Pure Type Sequent...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
IJIT
2004
15 years 5 months ago
Design of Gain Scheduled Fuzzy PID Controller
An adaptive fuzzy PID controller with gain scheduling is proposed in this paper. The structure of the proposed gain scheduled fuzzy PID (GS_FPID) controller consists of both fuzzy ...
Leehter Yao, Chin-chin Lin
SSS
2009
Springer
110views Control Systems» more  SSS 2009»
15 years 8 months ago
From Local Impact Functions to Global Adaptation of Service Compositions
Abstract. The problem of self-optimization and adaptation in the context of customizable systems is becoming increasingly important with the emergence of complex software systems a...
Liliana Rosa, Luís Rodrigues, Antóni...
GG
2008
Springer
15 years 4 months ago
Adaptive Star Grammars for Graph Models
Abstract. Adaptive star grammars generalize well-known graph grammar formalisms based on hyperedge and node replacement while retaining, e.g., parseability and the commutativity an...
Frank Drewes, Berthold Hoffmann, Mark Minas
143
Voted
ANSS
2001
IEEE
15 years 7 months ago
Simulation-Based Engineering of Complex Adaptive Systems Using a Classifier Block
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...
John R. Clymer, David J. Chen