Sciweavers

5638 search results - page 318 / 1128
» On presence
Sort
View
IPPS
2008
IEEE
16 years 1 months ago
What is the best way to prove a cryptographic protocol correct?
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
Sreekanth Malladi, Gurdeep S. Hura
IROS
2008
IEEE
106views Robotics» more  IROS 2008»
16 years 1 months ago
Visual servoing from two special compounds of features using a spherical projection model
— This paper is concerned with the use of a spherical projection model to design optimal visual features for visual servoing. Here two special targets are considered: a sphere ma...
Romeo Tatsambon Fomena, François Chaumette
152
Voted
IROS
2008
IEEE
156views Robotics» more  IROS 2008»
16 years 1 months ago
Cross-country obstacle detection: Space-variant resolution and outliers removal
Abstract— The unstructured nature of cross-country environments poses a great deal of challenges to obstacle detection algorithms. This paper presents an algorithm able to perfor...
Pedro Santana, Paulo Santos, Luís Correia, ...
IROS
2008
IEEE
122views Robotics» more  IROS 2008»
16 years 1 months ago
Vehicle dynamics estimation for camera-based visibility distance estimation
Abstract— The presence of an area with low visibility conditions is a relevant information for autonomous vehicle as far as environment sensing is important regarding safety. In ...
Clement Boussard, Nicolas Hautière, Brigitt...
ISCAS
2008
IEEE
88views Hardware» more  ISCAS 2008»
16 years 1 months ago
Fall detection using an address-event temporal contrast vision sensor
—In this paper we describe an address-event vision system designed to detect accidental falls in elderly home care applications. The system raises an alarm when a fall hazard is ...
Zhengming Fu, Eugenio Culurciello, Patrick Lichtst...