623 search results - page 58 / 125 » Relational Parametricity for Control Considered as a Computa... |
APAL
2002
14 years 11 months ago
2002
We consider a notion of sequential functional of finite type, more generous than the familiar notion embodied in Plotkin's language PCF. We study both the "full" an...
103
click to vote
ICDCSW
2005
IEEE
15 years 5 months ago
2005
IEEE
Recent research results show that a wireless ad hoc network can exploit controlled node mobility to reduce communication energy consumption. Node movement, however, may consume a ...
103
click to vote
CAD
2002
Springer
14 years 11 months ago
2002
Springer
Deformation of 3D shapes usually requires the use of a deformation tool. The freeform deformation technique requires the use of a lattice of control point for deforming an object....
IJCNN
2007
IEEE
15 years 6 months ago
2007
IEEE
— Many neural network models of (human) motor learning focus on the acquisition of direct goal-to-action mappings, which results in rather inflexible motor control programs. We ...
115
click to vote
INFOCOM
2012
IEEE
13 years 2 months ago
2012
IEEE
—In this paper we present a methodology for the design of congestion control protocols for background data transfers that have a minimal delay impact on short TCP transfers and c...