Sciweavers

1074 search results - page 153 / 215
» Space of Mechanisms
Sort
View
ICRA
2000
IEEE
108views Robotics» more  ICRA 2000»
15 years 10 months ago
Deformable Volumes in Path Planning Applications
This paper addresses the problem of path planning for a class of deformable volumes under fairly general manipulation constraints. The underlying geometric model for the volume is...
Elliot Anshelevich, Scott Owens, Florent Lamiraux,...
IJCNN
2000
IEEE
15 years 10 months ago
Two Sites of Synaptic Integration: Relevant for Learning?
Since the classical work of D. O. Hebb [1] it has been assumed that synaptic plasticity solely depends on the activity of the pre- and the postsynaptic cell. Synapses influence th...
Konrad P. Körding, Peter König
KBSE
2000
IEEE
15 years 10 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
ECOOP
2000
Springer
15 years 10 months ago
Generic Wrappers
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
Martin Büchi, Wolfgang Weck
DATE
2010
IEEE
148views Hardware» more  DATE 2010»
15 years 10 months ago
Scoped identifiers for efficient bit aligned logging
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
Roy Shea, Mani B. Srivastava, Young Cho