1678 search results - page 75 / 336 » An ASM Specification of C |
ICALT
2006
IEEE
14 years 1 months ago
2006
IEEE
This position paper shows how several classical methods in adaptive learning can be addressed using IMS Learning Design. After a definition of four main questions to classify adap...
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
APPINF
2003
13 years 9 months ago
2003
In this paper we discuss the problems encountered in the development of a Linux LVS-based content switch and present their solutions. A pre-allocate server scheme is proposed to i...
COLING
1994
13 years 9 months ago
1994
CT In this paper, we describe a tool designed to generate semi-automatically the sortal constraints specific to a domain to be used in a natural language (NL) understanding system....
CORR
2002
Springer
13 years 7 months ago
2002
Springer
I consider issues in distributed computation that should be of relevance to game theory. In particular, I focus on (a) representing knowledge and uncertainty, (b) dealing with fai...