1914 search results - page 164 / 383 » Abstract lambda-Calculus Machines |
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Courseware validation should locate Learning Objects inconsistent with the courseware instructional design being used. In order for validation to take place it is necessa...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
IBPRIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. By applying recent results in optimization transfer, a new algorithm for kernel Fisher Discriminant Analysis is provided that makes use of a non-smooth penalty on the coe...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
ACRI
2006
Springer
14 years 2 months ago
2006
Springer
Abstract— We have recently shown that genetically programming game players, after having imbued the evolutionary process with human intelligence, produces human-competitive strat...