1026 search results - page 195 / 206 » A Methodology for Equational Reasoning |
116
Voted
IUI
2003
ACM
15 years 7 months ago
2003
ACM
Animated pedagogical agents offer promise as a means of making computer-aided learning more engaging and effective. To achieve this, an agent must be able to interact with the lea...
138
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
The effectiveness of simulation-based training for individual tasks – such as piloting skills – is well established, but its use for team training raises challenging technical...
116
Voted
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including t...
113
click to vote
GLVLSI
2002
IEEE
15 years 6 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
135
click to vote
GECCO
2010
Springer
15 years 6 months ago
2010
Springer
Adaptive Operator Selection (AOS) turns the impacts of the applications of variation operators into Operator Selection through a Credit Assignment mechanism. However, most Credit ...