Buscar
Mostrando ítems 11-20 de 753
Analysis of the port sustainability parameters through Bayesian networks
European Commission principles included in its European 2020 Strategy (COM:2010) are essential to establish intelligent, sustainable and inclusive transport networks that enhance the social development and territorial ...
Using ALF within the CoSTest process for validation of UML-based conceptual schema
(CEUR-WS, 2017)
The Unified Modelling Language (UML) is widely used for modelling software systems and its integration with executable languages, such as the Action Language for Foundational UML (ALF), provides a bridge between the graphical ...
Un método de ingeniería inversa de código JAVA hacia diagramas de secuencias de UML 2.0
(Administrativa, Financiera, Sistemas y ComputaciónEscuela de Ingeniería de Antioquia EIA, 2014-05-09)
Software reverse engineering seems to be the process for helping software quality assurance and
documentation in applications with low-quality analysis and design models. It also helps for decreasing
maintenance cost and ...
The Tractability of SHAP-Score-Based Explanations over Deterministic and Decomposable Boolean Circuits
(ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE, 2021)
Scores based on Shapley values are widely used for providing explanations to classification results over machine learning models. A prime example of this is the influential SHAP - score, a version of the Shapley value that ...
SAMSTARplus: An Automatic Tool for Generating Multi- Dimensional Schemas from an Entity-Relationship Diagram
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2010)
Optimization Methods Based on Decision Diagrams for Constraint Programming, AI Planning, and Mathematical Programming
(2021)
Decision diagrams (DDs) are graphical structures that can be used to solve discrete optimization problems by representing the set of feasible solutions as paths in a graph. This graphical encoding of the feasibility set ...
Diagramas de flujo para el diseño de un sistema de control de calidad : proceso de elaboración de vino blancoFlow diagrams for quality control system desing : white wine processing
(Universidad Nacional de Cuyo. Facultad de Ciencias Agrarias, 2004)
Symbolic Moment Computation for Statistical Analysis of Large Interconnect Networks
(IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2013)
Propuesta de mejora al proceso de compras internacionales para la gerencia de entretenimiento de almacenes Éxito S.A
(Universidad EIAAdministrativa, Financiera, Sistemas y ComputaciónEnvigado (Antioquia, Colombia). Universidad EIA, 2011Ingeniería Administrativa, 2011)
The methodology for the realization of this paper grade is to collect all relevant information about the current process on the basis of personal knowledge of the process and gathering information dare personal interviews, ...