2603 search results - page 255 / 521 » Design, use and experience of e-learning systems |
158
click to vote
ENTCS
2008
15 years 7 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
131
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— This paper describes the design, fabrication, and experimental results of a programmable matter system capable of 2D shape formation through subtraction. The system is composed...
180
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract – This paper presents a real-time 3D ultrasoundguided robotic system, designed to autonomously navigate a surgical instrument to surgeon-specified target points. The sys...
186
click to vote
ICIC
2005
Springer
16 years 22 days ago
2005
Springer
Firstly, a method is introduced which uses Volterra series deploying technique to construct a nonlinear model based on OFS model. Then an improved novel incremental mode multiple s...
191
click to vote
WICSA
2004
15 years 8 months ago
2004
Over the past decade a number of architecture description languages (ADLs) have been proposed to facilitate modeling and analysis of software architecture. While each claims to ha...