Sciweavers

6432 search results - page 127 / 1287
» Classic Mechanism Design
Sort
View
107
Voted
ICRA
2002
IEEE
117views Robotics» more  ICRA 2002»
15 years 8 months ago
Design of a 5-DOF Haptic Simulator for Urological Operations
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...
Evangelos Papadopoulos, Kostas Vlachos, Dionyssios...
121
Voted
CANDC
2009
ACM
15 years 10 months ago
Situated design: toward an understanding of design through social creation and cultural cognition
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...
Christopher A. Le Dantec
170
Voted
RSP
2005
IEEE
207views Control Systems» more  RSP 2005»
15 years 9 months ago
Design Exploration and HW/SW Rapid Prototyping for Real-Time System Design
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...
Sylvain Huet, Emmanuel Casseau, Olivier Pasquier
118
Voted
ICFP
2003
ACM
16 years 3 months ago
Disjunctive normal forms and local exceptions
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...
Emmanuel Beffara, Vincent Danos
101
Voted
CSL
2000
Springer
15 years 8 months ago
Disjunctive Tautologies as Synchronisation Schemes
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...
Vincent Danos, Jean-Louis Krivine