Buscar
Mostrando ítems 11-20 de 1665
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 ...
A sensitivity result for quadratic semidefinite programs with an application to a sequential quadratic semidefinite programming algorithmCOMPUTATIONAL & APPLIED MATHEMATICSCOMPUT APPL MATH
(SOC BRASILEIRA MATEMATICA APLICADA & COMPUTACIONAL, 2016)
A sensitivity result for quadratic semidefinite programs with an application to a sequential quadratic semidefinite programming algorithmCOMPUTATIONAL & APPLIED MATHEMATICSCOMPUT APPL MATH
(SOC BRASILEIRA MATEMATICA APLICADA & COMPUTACIONAL, 2016)
Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers
(Taylor & Francis, 2014-02)
Argumentation represents a way of reasoning over a knowledge base containing possibly incomplete and/or inconsistent information, to obtain useful conclusions. As a reasoning mechanism, the way an argumentation reasoning ...
Assessing the cost of electronic health records: a review of cost indicators.
(Mary Ann Liebert Inc.Facultad de Ciencias Administrativas y EconómicasDepartamento de Economía, 2010-11-01)
Design and Experimentation of Activities for CS1: A Competences Oriented Approach (unpacking the Informed Design Teaching and Learning Matrix)
(Centro Latinoamericano de Estudios en Informática, 2014)