Buscar
Mostrando ítems 61-70 de 1464
Specifying active databases in the situation calculus
(IEEE, 1998)
The paper provides a predicate logic based semantics for active rules in active databases. Previous work has been done to provide the semantics of execution of active rules. In part, this work has been directed towards ...
Preparación y acercamiento de la Fundación Infantil Santiago Corazón a la cooperación internacional
(Universidad EIAAdministrativa, Financiera, Sistemas y ComputaciónEnvigado (Antioquia, Colombia). Universidad EIA, 2008Ingeniería Administrativa, 2008)
ABSTRACT: Fundación Infantil Santiago Corazón is a non-profit private organization. The foundation´s objective is to help children and new born babies who suffer from any heart disease by collaborating with the economic ...
Semantica G3'-Estable e InconsistenciaG’3-Stable Semantics and Inconsistency
(Computación y Sistemas, 2010)
Promoción de la innovación social a través de la utilización de metodologías participativas en la gestión del conocimiento
(Universidad de La Salle. Ediciones Unisalle, 1 de)
Leveraging digital knowledge ecosystem framework implementation: Case study: Aligning knowledge management and innovation goals for agricultural aerial pest control
(2016-03-24)
This article puts forward a process model for information gathering, planning and execution for decision making in relation to thetechnological approach in agricultural pest control. The proposed model was tested on aerial ...
Leveraging digital knowledge ecosystem framework implementation: Case study: Aligning knowledge management and innovation goals for agricultural aerial pest control
(2016-03-24)
This article puts forward a process model for information gathering, planning and execution for decision making in relation to thetechnological approach in agricultural pest control. The proposed model was tested on aerial ...
Modular Framework for Digital Twins: Development and Performance Analysis
(2021-01-01)
The evolution of computing science and simulation tools led to the usage of virtualization in the industrial environment. Software models became relevant information providers for the evaluation of automation processes. ...
Theorem Proving Modulo Based on Boolean Equational Procedures
(Springer, 2008)
Deduction with inference rules modulo computation rules plays an important role in automated deduction as an effective method for scaling up. We present four equational theories that are isomorphic to the traditional Boolean ...