Sciweavers

844 search results - page 40 / 169
» Global Information from Local Observation
Sort
View
CSFW
2005
IEEE
14 years 1 months ago
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
Iliano Cervesato, Catherine Meadows, Dusko Pavlovi...
CVPR
2012
IEEE
11 years 10 months ago
Road network extraction from airborne LiDAR data using scene context
We presented a novel procedure to extract ground road networks from airborne LiDAR data. First point clouds were separated into ground and non-ground parts, and ground roads were ...
Jiaping Zhao, Suya You
CVPR
2008
IEEE
14 years 10 months ago
Motion from blur
Motion blur retains some information about motion, based on which motion may be recovered from blurred images. This is a difficult problem, as the situations of motion blur can be...
Shengyang Dai, Ying Wu
KSEM
2007
Springer
14 years 2 months ago
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue...
IROS
2008
IEEE
139views Robotics» more  IROS 2008»
14 years 2 months ago
Estimating landmark locations from geo-referenced photographs
Abstract— The problem of estimating the positions of landmarks using a mobile robot equipped with a camera has intensively been studied in the past. In this paper, we consider a ...
Henrik Kretzschmar, Cyrill Stachniss, Christian Pl...