Sciweavers

10051 search results - page 101 / 2011
» A Dynamic Separator Algorithm
Sort
View
95
Voted
ICTCS
2003
Springer
15 years 5 months ago
A Calculus for Dynamic Linking
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
Davide Ancona, Sonia Fagorzi, Elena Zucca
112
Voted
AIMSA
2008
Springer
15 years 7 months ago
A Logical Approach to Dynamic Role-Based Access Control
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
Philippe Balbiani, Yannick Chevalier, Marwa El Hou...
99
Voted
ICASSP
2009
IEEE
15 years 7 months ago
An iterative approach to monaural musical mixture de-soloing
In this article, we introduce a novel approach for monaural source separation with the specific aim to separate a polyphonic musical recording into two main sources: a main instr...
Jean-Louis Durrieu, Gaël Richard, Bertrand Da...
DAGSTUHL
2010
15 years 2 months ago
Streaming Aerial Video Textures
We present a streaming compression algorithm for huge time-varying aerial imagery. New airborne optical sensors are capable of collecting billion-pixel images at multiple frames p...
Christopher S. Co, Mark A. Duchaineau, Kenneth I. ...
150
Voted
SASO
2010
IEEE
14 years 10 months ago
Extracting Overlay Invariants of Distributed Systems for Autonomic System Management
Many large-scale distributed systems have been built with great complexity to run Internet services. Due to the heterogeneity and dynamics of complex systems, it is very difficult ...
Hanhuai Shan, Guofei Jiang, Kenji Yoshihira