899 search results - page 154 / 180 » Cost Analysis of Games, Using Program Logic |
116
click to vote
ITS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
127
click to vote
DIS
2009
Springer
15 years 8 months ago
2009
Springer
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
109
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Motivated by the study of algorithmic problems in the domain of information security, in this paper, we study the complexity of a new class of computations over a collection of va...
128
click to vote
SIGADA
2001
Springer
15 years 5 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
137
Voted
AUSDM
2008
Springer
15 years 3 months ago
2008
Springer
Accurate and less invasive personalized predictive medicine can spare many breast cancer patients from receiving complex surgical biopsies, unnecessary adjuvant treatments and its...