Sciweavers

3972 search results - page 50 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
SAC
2004
ACM
15 years 8 months ago
Combining analysis and synthesis in a model of a biological cell
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
Ken Webb, Tony White
MM
2009
ACM
157views Multimedia» more  MM 2009»
15 years 9 months ago
Face image modeling by multilinear subspace analysis with missing values
The main difficulty in face image modeling is to decompose those semantic factors contributing to the formation of the face images, such as identity, illumination and pose. One p...
Xin Geng, Kate Smith-Miles, Zhi-Hua Zhou, Liang Wa...
ICDE
2007
IEEE
134views Database» more  ICDE 2007»
15 years 9 months ago
Apply Model Checking to Security Analysis in Trust Management
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
Mark Reith, Jianwei Niu, William H. Winsborough
ISOLA
2010
Springer
15 years 1 months ago
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
Anders P. Ravn, Jirí Srba, Saleem Vighio
HAPTICS
2006
IEEE
15 years 9 months ago
A Limit-Curve Based Soft Finger god-object Algorithm
This paper presents a new soft-finger haptic rendering algorithm based on the concept of limit curve which was previously used by the robotic manipulation community to study slid...
Antonio Frisoli, Emanuele Ruffaldi, Massimo Bergam...