Sciweavers

38 search results - page 4 / 8
» Verifiable digital object identity system
Sort
View
ICRA
2005
IEEE
258views Robotics» more  ICRA 2005»
15 years 3 months ago
Fast Line, Arc/Circle and Leg Detection from Laser Scan Data in a Player Driver
— A feature detection system has been developed for real-time identification of lines, circles and people legs from laser range data. A new method suitable for arc/circle detect...
João Xavier, Marco Pacheco, Daniel Castro, ...
99
Voted
MM
2005
ACM
141views Multimedia» more  MM 2005»
15 years 3 months ago
SEVA: sensor-enhanced video annotation
In this paper, we study how a sensor-rich world can be exploited by digital recording devices such as cameras and camcorders to improve a user’s ability to search through a larg...
Xiaotao Liu, Mark D. Corner, Prashant J. Shenoy
TKDE
2008
177views more  TKDE 2008»
14 years 10 months ago
Analyzing and Managing Role-Based Access Control Policies
Today more and more security-relevant data is stored on computer systems; security-critical business processes are mapped to their digital counterparts. This situation applies to ...
Karsten Sohr, Michael Drouineaud, Gail-Joon Ahn, M...
88
Voted
FM
2003
Springer
109views Formal Methods» more  FM 2003»
15 years 3 months ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
88
Voted
IROS
2008
IEEE
148views Robotics» more  IROS 2008»
15 years 4 months ago
Identifying a moving object with an accelerometer in a camera view
— This paper proposes a method for identifying an object which contains an accelerometer out of many moving objects in the view of a stationary camera using motion data obtained ...
Osamu Shigeta, Shingo Kagami, Koichi Hashimoto