Sciweavers

381 search results - page 50 / 77
» The context of the game
Sort
View
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
14 years 1 months ago
Symbolic Test Selection Based on Approximate Analysis
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...
CHI
2010
ACM
14 years 1 months ago
Indexicality of language and the art of creating treasures
The indexicality of language refers to the linkage between the language and the situation of use for determining the meaning of what is being said. In this paper I describe how a ...
Matti Rantanen
SIAMCO
2002
77views more  SIAMCO 2002»
13 years 7 months ago
Robust Optimal Switching Control for Nonlinear Systems
Abstract. We formulate a robust optimal control problem for a general nonlinear system with finitely many admissible control settings and with costs assigned to switching of contro...
Joseph A. Ball, Jerawan Chudoung, Martin V. Day
AI
2009
Springer
14 years 2 months ago
Novice-Friendly Natural Language Generation Template Authoring Environment
Abstract. Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and some...
Maria Fernanda Caropreso, Diana Inkpen, Shahzad Kh...
AIED
2009
Springer
14 years 2 months ago
Feedback Specificity and the Learning of Intercultural Communication Skills
The role of explicit feedback in learning has been studied from a variety of perspectives and in many contexts. In this paper, we examine the impact of the specificity of feedback ...
Matthew Hays, H. Chad Lane, Daniel Auerbach, Mark ...