ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
Generally, evolutionary algorithms require a large number of evaluations of the objective function in order to obtain a good solution. This paper presents a simple approach to sav...
ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
In this work we apply the Basis Pursuit (BP) methodology for recovering the intra-voxel information in Diffusion Weighted MR Images (DW-MRI). We compare the BP approach with a Dif...
ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
— Recent advances in communication networks and cryptographic techniques have made possible to consider online voting systems as a feasible alternative to conventional elections....
ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
ENC
2005
IEEE
14 years 6 months ago
2005
IEEE
We developed generators that produce challenging MKP instances. Our approaches uses independently exponential distributions over a wide range to generate the constraint coefficien...