Sciweavers

18429 search results - page 385 / 3686
» Typing dynamic typing
Sort
View
196
Voted
IJRR
2002
107views more  IJRR 2002»
15 years 6 months ago
Design of a Parallel-Type Gripper Mechanism
A new parallel-type gripper mechanism is proposed in this work. This device has a parallelogramic platform that can be flexibly folded. Therefore, this mechanism not only can be u...
Byung-Ju Yi, Heung Yeol Na, Jae Hoon Lee, Yeh-Sun ...
BC
1999
94views more  BC 1999»
15 years 6 months ago
Speed tuning in elementary motion detectors of the correlation type
A prominent model of visual motion detection is the so-called correlation or Reichardt detector. Whereas this model can account for many properties of motion vision, from humans to...
Johannes M. Zanker, M. V. Srinivasan, Martin Egelh...
ECCC
1998
55views more  ECCC 1998»
15 years 6 months ago
Characterizing Small Depth and Small Space Classes by Operators of Higher Types
Manindra Agrawal, Eric Allender, Samir Datta, Heri...
IGPL
1998
58views more  IGPL 1998»
15 years 6 months ago
Two Types of Multiple-Conclusion Systems
Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...
Arnon Avron