253 search results - page 20 / 51 » Session Types at the Mirror |
PKC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Perfect forward secrecy, one of the possible security features provided by key establishment protocols, concerns dependency of a session key upon long-term secret keys (s...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Catadioptric cameras are a popular type of omnidirectional imaging system. Their imaging and multi-view geometry has been extensively studied; epipolar geometry for instance, is ge...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— A catadioptric vision system combines a camera and a mirror to achieve a wide field of view imaging system. This type of vision system has many potential applications in mobil...
MPC
1998
Springer
13 years 12 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...
LREC
2010
13 years 9 months ago
2010
In this paper describes the effects of the evolution of an Italian dependency grammar on a task of multilingual FrameNet acquisition. The task is based on the creation of virtual ...