Sciweavers

129 search results - page 20 / 26
» Revisiting Abstract Argumentation Frameworks
Sort
View
WCE
2007
15 years 5 months ago
A mathematical review of the generalized entropies and their matrix trace inequalities
Abstract– We review the properties of the generalized entropies in our previous papers in the following way. (1)A generalized Fannes’ inequality is shown by the axiomatically c...
Shigeru Furuichi
ECAL
2005
Springer
15 years 10 months ago
Simulating Artificial Organisms with Qualitative Physiology
In this paper, we describe an approach to artificial life, which uses Qualitative Reasoning for the simulation of life within a 3D virtual environment. This system uses qualitative...
Simon Hartley, Marc Cavazza, Louis Bec, Jean-Luc L...
PEPM
1993
ACM
15 years 8 months ago
The Correctness of an Optimized Code Generation
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
Torben Poort Lange
CORR
2011
Springer
148views Education» more  CORR 2011»
14 years 8 months ago
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
Jan Rochel, Clemens Grabmayer
IJCNN
2006
IEEE
15 years 10 months ago
Modeling Cortical Maps with Feed-Backs
Abstract— High-level specification of how the brain represents and categorizes the causes of its sensory input allows to link “what is to be done” (perceptual task) with “...
Thierry Viéville, Pierre Kornprobst