Common shortcomings in educational design in Higher Education have not been fully addressed during the rapid shift towards online, resource-based learning. A contributing factor to...
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
— We evaluate Layered Hidden Markov Models (LHMM) for motion intention recognition based on actionprimitives or gestemes. The proposed methodology uses three different HMM models...
This analytic and experimental study proposes a control algorithm for coordinated position and force control for autonomous multi-limbed mobile robotic systems. The technique is ca...
Steven Dubowsky, Craig Sunada, Constantinos Mavroi...
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...