4460 search results - page 707 / 892 » Formal methods for interactive systems |
158
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
135
click to vote
AIIDE
2008
15 years 6 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
169
click to vote
ISPASS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Transactional memory promises to generalize transactional programming to mainstream languages and data structures. The purported benefit of transactions is that they ar...
171
click to vote
LWA
2004
15 years 5 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
133
click to vote
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...