2532 search results - page 203 / 507 » Implementation and applications of the distortion operator |
213
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
147
click to vote
MICCAI
2002
Springer
16 years 7 months ago
2002
Springer
This paper preliminarily reports the robotic system working inside the gantry of vertical field Open MRI. This manipulator is new in terms of the application to vertical field Open...
137
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Updating an operational system is often complex and awkward. In this article, we will explain how the concept of multi-layer interface could facilitate the evolution of operationa...
183
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— The increasing computing and communication capabilities of multi-function devices (MFDs) have enabled networks of such devices to provide value-added services. This has...
154
click to vote
ISVLSI
2006
IEEE
16 years 18 days ago
2006
IEEE
Thermal management is becoming increasingly important in circuit designs with high power density. Circuits that overheat beyond specified operating conditions may suffer timing f...