Sciweavers

2303 search results - page 187 / 461
» On the logic of argumentation theory
Sort
View
ECIS
2003
15 years 8 months ago
Implications of constructivism for computer-based learning
Constructivism has gained popularity recently, but it is not a completely new learning paradigm. Much of the work within Information Systems Science (IS) and especially within ele...
Timo Lainema
NIPS
2000
15 years 8 months ago
Second Order Approximations for Probability Models
In this paper, we derive a second order mean field theory for directed graphical probability models. By using an information theoretic argument it is shown how this can be done in...
Hilbert J. Kappen, Wim Wiegerinck
COLING
1996
15 years 7 months ago
Discourse Semantics Meets Lexical Field Semantics
The focus of this article is the integration of two different perspectives on lexical semantics: Discourse Representation Theory's (DRT) inferentially motivated approach and ...
Beate Firzlaff, Daniela S. Kunz
SAGT
2010
Springer
202views Game Theory» more  SAGT 2010»
15 years 5 months ago
Computing Stable Outcomes in Hedonic Games
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...
Martin Gairing, Rahul Savani
UTP
2010
15 years 4 months ago
Specification Coverage for Testing in Circus
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
Ana Cavalcanti, Marie-Claude Gaudel