1494 search results - page 184 / 299 » Less Extreme Programming |
185
Voted
TACAS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
154
click to vote
UM
2005
Springer
16 years 5 days ago
2005
Springer
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...
172
click to vote
AUSAI
2004
Springer
16 years 3 days ago
2004
Springer
We propose a multivariate decision tree inference scheme by using the minimum message length (MML) principle (Wallace and Boulton, 1968; Wallace and Dowe, 1999). The scheme uses MM...
178
Voted
ICALP
2004
Springer
16 years 2 days ago
2004
Springer
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
164
click to vote
OOPSLA
2004
Springer
16 years 1 days ago
2004
Springer
Generative programming and aspect-oriented software development have been proposed over the last years aiming at increasing maintainability and reusability of software systems. Wh...