4460 search results - page 456 / 892 » Formal methods for interactive systems |
196
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
192
click to vote
LCTRTS
1999
Springer
15 years 11 months ago
1999
Springer
Real-time garbage collection is essential if object-oriented languages (in particular, Java) are to become predictable enough for real-time embedded systems. Although techniques f...
168
click to vote
WSC
2000
15 years 8 months ago
2000
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
182
click to vote
ISMB
1993
1993
Prediction of Primate Splice Junction Gene Sequences with a Cooperative Knowledge Acquisition System
15 years 8 months ago
Wepropose a cooperative conceptual modelling environment in which two agents interact : the machineand the humanexpert. Theformer is able to extract knowledge from data using a sy...
167
click to vote
ENGL
2007
15 years 6 months ago
2007
— This paper presents a novel adaptive controller for multimodal systems based on Fuzzy Reference Model Generator (FRMG). The proposed scheme consists of a fuzzy logic switching ...