3116 search results - page 126 / 624 » Positively dependent types |
128
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
133
click to vote
POPL
1993
ACM
15 years 8 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
134
click to vote
FGIT
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, there is introduced an approach to surface reconstruction of an object captured by one grayscale camera with a small resolution. The proposed solution expects a rec...
127
click to vote
HAPTICS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. The apparent mass of haptic device end-effector depends on its position inside the workspace. This paper presents a recursive algorithm to detect effective direction of g...
137
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper, we study precise localization using Angle of Arrival (AOA) estimations by smart-antenna equipped beacons in Ad-Hoc networks. The node to be localized sends a sign...