Sciweavers

4843 search results - page 821 / 969
» The Shortcut Problem - Complexity and Approximation
Sort
View
LICS
2006
IEEE
15 years 9 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
SMI
2006
IEEE
135views Image Analysis» more  SMI 2006»
15 years 9 months ago
Laplace-Beltrami Eigenfunctions Towards an Algorithm That "Understands" Geometry
One of the challenges in geometry processing is to automatically reconstruct a higher-level representation from raw geometric data. For instance, computing a parameterization of a...
Bruno Lévy
SRDS
2006
IEEE
15 years 9 months ago
Reducing the Availability Management Overheads of Federated Content Sharing Systems
We consider the problem of ensuring high data availability in federated content sharing systems. Ideally, such a system would provide high data availability in a device transparen...
Christopher Peery, Thu D. Nguyen, Francisco Matias...
ACCV
2006
Springer
15 years 9 months ago
Online Updating Appearance Generative Mixture Model for Meanshift Tracking
This paper proposes an appearance generative mixture model based on key frames for meanshift tracking. Meanshift tracking algorithm tracks object by maximizing the similarity betwe...
Jilin Tu, Hai Tao, Thomas S. Huang
DAC
2006
ACM
15 years 9 months ago
A fast on-chip decoupling capacitance budgeting algorithm using macromodeling and linear programming
We propose a novel and efficient charge-based decoupling capacitance budgeting algorithm. Our method uses the macromodeling technique and effective radius of decoupling capacitan...
Min Zhao, Rajendran Panda, Savithri Sundareswaran,...