Sciweavers

4245 search results - page 125 / 849
» Input Modeling
Sort
View
COMPOS
1997
Springer
15 years 10 months ago
Compositional Refinement of Interactive Systems Modelled by Relations
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
Manfred Broy
EUSFLAT
2001
15 years 7 months ago
The similarity of a class of adaptive fuzzy controllers and a time dependent single rule controller of Takagi-Sugeno model
This paper presents the similarity of a class of adaptive fuzzy controllers and a time dependent single rule controller of TakagiSugeno (TS) model. The class of adaptive fuzzy con...
Mohammad Rohmanuddin
CORR
2002
Springer
117views Education» more  CORR 2002»
15 years 6 months ago
Computing stable models: worst-case performance estimates
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...
Zbigniew Lonc, Miroslaw Truszczynski
ICAPR
2001
Springer
15 years 11 months ago
Pattern Matching and Neural Networks Based Hybrid Forecasting System
In this paper we propose a Neural Net-PMRS hybrid for forecasting time-series data. The neural network model uses the traditional MLP architecture and backpropagation method of tr...
Sameer Singh, Jonathan E. Fieldsend
BPM
2006
Springer
98views Business» more  BPM 2006»
15 years 10 months ago
Structured Service Composition
Composition languages like BPEL and many enactment tools only support structured process models, while most composition approaches only consider unstructured models. In this paper,...
Rik Eshuis, Paul W. P. J. Grefen, Sven Till