Sciweavers

539 search results - page 67 / 108
» Symmetric Argumentation Frameworks
Sort
View
AIMDM
1999
Springer
15 years 2 months ago
A Conversational Model for Health Promotion on the World Wide Web
In this paper we describe a new approach to computer-based health promotion, based on a conversational model. We base our model on a collection of human-human email dialogues conce...
Alison Cawsey, Floriana Grasso, Ray Jones
PEPM
1993
ACM
15 years 1 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
2007
Springer
112views Education» more  CORR 2007»
14 years 9 months ago
Precoding in Multiple-Antenna Broadcast Systems with a Probabilistic Viewpoint
—In this paper, we investigate the minimum average transmit energy that can be obtained in multiple antenna broadcast systems with channel inversion technique. The achievable gai...
Amin Mobasher, Amir K. Khandani
AI
2002
Springer
14 years 9 months ago
Explanations, belief revision and defeasible reasoning
We present different constructions for non-prioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept...
Marcelo A. Falappa, Gabriele Kern-Isberner, Guille...
SIAMDM
2008
69views more  SIAMDM 2008»
14 years 9 months ago
Labeled Partitions and the q-Derangement Numbers
Inspired by MacMahon's original proof of his celebrated theorem on the distribution of the major index over permutations, we give a reformulation of his argument in terms of l...
William Y. C. Chen, Deheng Xu