6432 search results - page 127 / 1287 » Classic Mechanism Design |
79
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
A new haptic feedback mechanism with five active degrees of freedom (dof), part of a training simulator for urological operations, is presented. The mechanism consists of a 2-dof 5...
92
Voted
CANDC
2009
ACM
15 years 7 months ago
2009
ACM
Video and transcripts of two architectural design meetings are presented in an analysis of a specific design process. The focus of the analysis presented here is the social and c...
134
click to vote
RSP
2005
IEEE
15 years 6 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
ICFP
2003
ACM
16 years 20 days ago
2003
ACM
All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...
81
Voted
CSL
2000
Springer
15 years 5 months ago
2000
Springer
In the ambient logic of classical second order propositional calculus, we solve the specification problem for a family of excluded middle like tautologies. These are shown to be r...