2005
Autores
Mamede, J; Carrapatoso, E; Ricardo, M;
Publicação
PROCEEDINGS OF THE SECOND IASTED INTERNATIONAL MULTI-CONFERENCE ON AUTOMATION, CONTROL, AND INFORMATION TECHNOLOGY - COMMUNICATION SYSTEMS
Abstract
The development of communications systems demands testing. This paper presents a framework for testing on-the-fly, which relies on the definition of 3 types of tests and on their sequential execution. The ioco conformance relation was considered in order to assign verdicts. A tool prototype is also presented that supports the proposed framework. This tool, named PROFYT, was developed based on the SPIN verifier, and uses communicating FSMs to describe the specification. The test of Conference Protocol implementations was carried out on-the-fly with PROFYT and enabled us to conclude about the benefits of the test methodology proposed.
2005
Autores
Silva, JM; Mendonça, H;
Publicação
The International Series in Engineering and Computer Science - Dynamic Characterisation of Analogue-to-Digital Converters
Abstract
2005
Autores
Silva, JM; Mendonça, H; Mazoleni, S;
Publicação
The International Series in Engineering and Computer Science - Dynamic Characterisation of Analogue-to-Digital Converters
Abstract
2005
Autores
Silva, JM; Mendonça, H;
Publicação
The International Series in Engineering and Computer Science - Dynamic Characterisation of Analogue-to-Digital Converters
Abstract
2005
Autores
Tabarce, S; Tavares, VG; de Oliveira, PG;
Publicação
ELECTRONICS LETTERS
Abstract
A new CMOS VLSI implementation of an asymmetric programmable sigmoid neural activation function, as well as of its derivative, is presented. It consists of two coupled PMOS and NMOS differential pairs with different programmable bias currents that set the upper and lower limits of the sigmoid. The circuit works in the weak inversion region, for low power consumption and exponential envelope, or in strong inversion to achieve higher speeds. The results obtained from the theoretical transfer function, and from the simulations of the circuit implemented in AMI's 0.35 mu m technology, show a very good match.
2005
Autores
da Costa, JP; Cardoso, JS;
Publicação
MACHINE LEARNING: ECML 2005, PROCEEDINGS
Abstract
Many real life problems require the classification of items in naturally ordered classes. These problems are traditionally handled by conventional methods for nominal classes, ignoring the order. This paper introduces a new training model for feedforward neural networks, for multiclass classification problems, where the classes are ordered. The proposed model has just one output unit which takes values in the interval [0,1]; this interval is then subdivided into K subintervals (one for each class), according to a specific probabilistic model. A comparison is made with conventional approaches, as well as with other architectures specific for ordinal data proposed in the literature. The new model compares favourably with the other methods under study, in the synthetic dataset used for evaluation.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.