6274 search results - page 976 / 1255 » Proofs, Programs, Processes |
114
click to vote
IJSYSC
2000
15 years 2 months ago
2000
This paper presents an algorithm for incorporating a priori knowledge into data-driven identification of dynamic fuzzy models of the Takagi-Sugeno type. Knowledge about the modell...
133
click to vote
ENTCS
2002
15 years 2 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
138
click to vote
ETS
2002
IEEE
15 years 2 months ago
2002
IEEE
Both academic institutions and businesses are exploring a shift from face-to-face instruction to distance learning. However, without the foundation of a systematic instructional d...
126
click to vote
RAS
2000
15 years 2 months ago
2000
This paper presents an optimisation system software developed for the determination of optimal index positions of cutting tools on the automatic tool changer (ATC) or turret magaz...
112
click to vote
IWC
1998
15 years 2 months ago
1998
An experiment was carried out to estimate the effect of auditory alarms on the work of an plant operator in the context of a computer simulation. We designed our process simulator...