Sciweavers

2983 search results - page 447 / 597
» The group marriage problem
Sort
View
IROS
2006
IEEE
134views Robotics» more  IROS 2006»
14 years 3 months ago
A Novel Self Organizing Network to Perform Fast Moving Object Extraction from Video Streams
— Image segmentation is a critical task in computer vision. In the context of motion detection, a very popular segmentation approach is background substraction which consists in ...
Dizan Vasquez, Thierry Fraichard
IROS
2006
IEEE
93views Robotics» more  IROS 2006»
14 years 3 months ago
General Kinematic Synthesis Method for a Discretely Actuated Robotic Manipulator (D-ARM)
— A “Discretely Actuated Robotic Manipulator”, or “D-ARM”, is any member of a class of robotic manipulators powered by actuators that have only discrete positional stable...
Keizo Miyahara, Gregory S. Chirikjian
LICS
2006
IEEE
14 years 3 months ago
Managing Digital Rights using Linear Logic
Digital music players protect songs by enforcing licenses that convey specific rights for individual songs or groups of songs. For licenses specified in industry, we show that d...
Adam Barth, John C. Mitchell
PRDC
2006
IEEE
14 years 3 months ago
Detecting and Exploiting Symmetry in Discrete-state Markov Models
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
SRDS
2006
IEEE
14 years 3 months ago
Satem: Trusted Service Code Execution across Transactions
Web services and service oriented architectures are becoming the de facto standard for Internet computing. A main problem faced by users of such services is how to ensure that the...
Gang Xu, Cristian Borcea, Liviu Iftode