Sciweavers

384 search results - page 40 / 77
» The Zeno Argumentation Framework
Sort
View
CORR
2011
Springer
148views Education» more  CORR 2011»
14 years 1 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
TOOLS
2000
IEEE
15 years 2 months ago
Java Multi-Method Framework
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...
Rémi Forax, Étienne Duris, Gilles Ro...
SYNTHESE
2011
85views more  SYNTHESE 2011»
14 years 4 months ago
Modeling reality
: My aim in this paper is to articulate an account of scientific modeling that reconciles pluralism about modeling with a modest form of scientific realism. The central claim of th...
Christopher Pincock
CONTEXT
2007
Springer
15 years 3 months ago
Dialectic Approach for Using Viewpoint Discrepancies in Learning
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
Christiana Panayiotou, Vania Dimitrova
CCIA
2007
Springer
15 years 3 months ago
An Argument-Based Approach to Deal with Wastewater Discharges
: In this paper we propose the use of an argument-based model – ProCLAIM – that has the potential to minimize ecological impact of industrial wastewater discharges into water b...
Montse Aulinas, Pancho Tolchinsky, Clàudia ...