13101 search results - page 243 / 2621 » The design and implementation of microdrivers |
210
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
150
Voted
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
A locking, unactuated knee is added to the Scout II quadruped robot and trotting gaits are studied. The mechanical design of the knee is presented, trotting algorithms are discuss...
146
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Cobots are capable of producing virtual surfaces of high quality, using mechanical transmission elements as their basic element in place of conventional motors. Most cobots built ...
139
click to vote
PUC
2002
15 years 6 months ago
2002
Computer science algorithms can be used to improve user interfaces. Using data structures as a source of design ideas, a new interface was constructed for a cellular telephone han...
154
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
We adopt the view that CS1 labs are not programming assignments, and that they should not be used for grading students or assessing their level of understanding. Instead, we think...