We present a procedure to generate short test sequences for synchronous sequential circuits described at the gate level. Short test sequences are important in reducing test applic...
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...
Abstract. The signaling traffic of a cellular network is rich of information related to the movements of its devices across cell boundaries. Thus, passive monitoring of anonymized ...
An interactive procedure for generating a user-tailored fuzzy preference relation on intervals is proposed. This procedure allows the decision maker to choose a preference relatio...
Test generation procedures attempt to assign values to the inputs of a circuit so as to detect target faults. We study a complementary view whereby the goal is to identify values ...