3156 search results - page 145 / 632 » An address translation simulator |
107
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
148
click to vote
ICRA
2005
IEEE
2005
IEEE
An Integrated Spatial Path-planning and Controller Design Approach for a Hover-mode Helicopter Model
15 years 7 months ago
— The objective of this paper is to design a controller based on a nonlinear hover-mode model for a helicopter, which can be seamlessly integrated in an existing spatial path-pla...
110
click to vote
ISVC
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents a retinal image registration approach for National Institute of Health (NIH)’s Early Treatment Diabetic Retinopathy Study (ETDRS) standard. The ETDRS imaging ...
134
click to vote
MICCAI
2005
Springer
15 years 7 months ago
2005
Springer
Dynamic contrast-enhanced 4-D MR renography has the potential for broad clinical applications, but suffers from respiratory motion that limits analysis and interpretation. Since ea...
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
The “Haptic Scissors” is a device that creates the sensation of cutting in virtual environments. The scissors have two degrees of freedom of motion and force feedback, one for...