Sciweavers

38 search results - page 4 / 8
» Verifiable digital object identity system
Sort
View
ICRA
2005
IEEE
258views Robotics» more  ICRA 2005»
14 years 1 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, ...
MM
2005
ACM
141views Multimedia» more  MM 2005»
14 years 1 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»
13 years 7 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...
FM
2003
Springer
109views Formal Methods» more  FM 2003»
14 years 20 days 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...
IROS
2008
IEEE
148views Robotics» more  IROS 2008»
14 years 1 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