Buscar
Mostrando ítems 31-40 de 4491
Diseño de sistemas digitales con dispositivos lógicos programables
(2009-03-05)
RESUMEN: En esta tesis se muestra la metodología de diseño en sistemas digitales empleando dispositivos programables (PLDs) por medio de la Ingeniería de Diseño Auxiliada por Computadora (CAE). EL término de lógica programable ...
An integrated framework for the diagnosis and correction of rule-based programs
(ELSEVIER SCIENCE BV, 2010-10-29)
We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...
An integrated framework for the diagnosis and correction of rule-based programs
(ELSEVIER SCIENCE BV, 2010-10-29)
We present a generic scheme for the declarative debugging of programs that are written in rewriting-based languages that are equipped with narrowing. Our aim is to provide an integrated development environment in which it ...
Mathematical model based on linear programming and fuzzy logic for time prediction in bicycle assembly industries
(2019)
© 2019, Associacao Iberica de Sistemas e Tecnologias de Informacao. All rights reserved. In the assembly industry, there is a high degree of uncertainty when identifying operational problems, due to limited resources and ...
A proof theoretic study of soft concurrent constraint programming
(Cambridge University Press, 2014)
Modelling argument accrual with possibilistic uncertainty in a logic programming setting
(Elsevier, 2013-04)
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have emerged which incorporate the treatment of possibilistic uncertainty, ...