7103 search results - page 1047 / 1421 » Program Generation and Components |
IFE
2002
15 years 4 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
147
click to vote
JUCS
2002
15 years 4 months ago
2002
: Design for All is an important challenge for hypermedia engineering. We analyze this challenge and show that it is necessary to find a way of describing partially designed hyperm...
128
click to vote
SIAMJO
2002
15 years 4 months ago
2002
In this paper we study a Monte Carlo simulation based approach to stochastic discrete optimization problems. The basic idea of such methods is that a random sample is generated and...
184
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
106
click to vote
ICRA
2010
IEEE
15 years 3 months ago
2010
IEEE
— The Kuka Control Toolbox (KCT) is a collection of MATLAB functions for motion control of KUKA robot manipulators, developed to offer an intuitive and high-level programming int...