Sciweavers

13099 search results - page 266 / 2620
» Cooperative method development
Sort
View
NN
2000
Springer
170views Neural Networks» more  NN 2000»
15 years 6 months ago
Synthetic brain imaging: grasping, mirror neurons and imitation
The article contributes to the quest to relate global data on brain and behavior (e.g. from PET, Positron Emission Tomography, and fMRI, functional Magnetic Resonance Imaging) to ...
Michael A. Arbib, Aude Billard, Marco Iacoboni, Er...
KI
2002
Springer
15 years 6 months ago
Spatial Strategies in Human-Robot Communication
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...
Thora Tenbrink, Kerstin Fischer, Reinhard Moratz
DATE
2003
IEEE
124views Hardware» more  DATE 2003»
15 years 12 months ago
A Custom-Cell Identification Method for High-Performance Mixed Standard/Custom-Cell Designs
: Over the years, many design methodologies/tools and layout architectures have been developed for datapath-oriented designs. One commonly used approach for high-speed datapath des...
Jennifer Y.-L. Lo, Wu-An Kuo, Allen C.-H. Wu, Ting...
PR
2007
176views more  PR 2007»
15 years 6 months ago
A computer vision method to locate cold spots in foods in microwave sterilization processes
A major challenge in developing advanced thermal processess based on electromagnetic heating is to determine the location of cold spots in foods. A rapid and reliable method was d...
Ram Bhuwan Pandit, Juming Tang, Frank Liu, Galina ...
126
Voted
CAV
2007
Springer
127views Hardware» more  CAV 2007»
16 years 24 days ago
CVC3
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
Clark Barrett, Cesare Tinelli