Sciweavers

689 search results - page 15 / 138
» Encapsulation theory fundamentals
Sort
View
ICAIL
2009
ACM
14 years 3 months ago
Creating an argumentation corpus: do theories apply to real arguments?: a case study on the legal argumentation of the ECHR
Argumentation annotation is a crucial step in applying machine learning techniques to the argumentation field. However, there exist few argumentation corpora and their developmen...
Raquel Mochales Palau, Aagje Ieven
JFP
2006
113views more  JFP 2006»
13 years 8 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
DIGRA
2005
Springer
14 years 2 months ago
How Are Games Educational? Learning Theories Embodied in Games
Through the combined efforts of many dedicated researchers across the globe, the “message” of the value of games for learning is starting to be heard in formal education, but ...
Katrin Becker
FTCIT
2007
88views more  FTCIT 2007»
13 years 8 months ago
Topics in Multi-User Information Theory
This survey reviews fundamental concepts of multi-user information theory. Starting with typical sequences, the survey builds up knowledge on random coding, binning, superposition...
Gerhard Kramer
ACSD
2009
IEEE
117views Hardware» more  ACSD 2009»
14 years 3 months ago
Why Are Modalities Good for Interface Theories?
In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these c...
Jean-Baptiste Raclet, Eric Badouel, Albert Benveni...