Sciweavers

1530 search results - page 51 / 306
» Programmable motion effects
Sort
View
JCAL
2002
96views more  JCAL 2002»
13 years 8 months ago
Improving continuing professional development in the use of ICT
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...
A. H. Littlejohn
CORR
2010
Springer
156views Education» more  CORR 2010»
13 years 9 months ago
On CSP and the Algebraic Theory of Effects
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...
Rob J. van Glabbeek, Gordon D. Plotkin
IROS
2006
IEEE
141views Robotics» more  IROS 2006»
14 years 3 months ago
Layered HMM for Motion Intention Recognition
— We evaluate Layered Hidden Markov Models (LHMM) for motion intention recognition based on actionprimitives or gestemes. The proposed methodology uses three different HMM models...
Daniel Aarno, Danica Kragic
AROBOTS
1999
128views more  AROBOTS 1999»
13 years 8 months ago
Coordinated Motion and Force Control of Multi-Limbed Robotic Systems
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...
ICFP
2009
ACM
14 years 9 months ago
Effective interactive proofs for higher-order imperative programs
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...