9871 search results - page 1603 / 1975 » On the Structure of Low Sets |
174
click to vote
CSFW
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
192
click to vote
CVPR
2005
IEEE
16 years 14 days ago
2005
IEEE
This work achieves an efficient acquisition of scenes and their depths along streets. During the movement of a vehicle, a slit in the camera frame is set properly to sample scenes...
182
click to vote
EEE
2005
IEEE
16 years 14 days ago
2005
IEEE
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...
177
click to vote
HAPTICS
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper we propose a new set of primitives to realize a large-area covering realistic tactile display. They stimulate the skin surface with suction pressure (SPS method) as ...
170
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
Measurement of organizational knowledge assets is necessary to determine the effectiveness of knowledge management initiatives. A Knowledge Management Capability Assessment instru...