2940 search results - page 261 / 588 » Relational Parametricity and Control |
183
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— A new visual servoing method based on B-mode ultrasound images is proposed to automatically control the motion of a 2D ultrasound probe held by a medical robot in order to reac...
164
click to vote
IJCNN
2007
IEEE
16 years 29 days 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 ...
175
click to vote
SMC
2007
IEEE
16 years 28 days ago
2007
IEEE
Adapting to current context of usage is of fundamental importance for pervasive computing services. As the technology for acquiring contextual information is increasingly availabl...
183
click to vote
SMC
2007
IEEE
16 years 28 days ago
2007
IEEE
: With the development of enterprise-wide and cross-enterprise application integration and interoperation towards web service, web service providers try to not only fulfill the fun...
183
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...