Sciweavers

9509 search results - page 306 / 1902
» Complex Event Processing
Sort
View
SUTC
2006
IEEE
16 years 22 days ago
The Computational Complexity of Enforceability Validation for Generic Access Control Rules
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo
ACSD
2005
IEEE
162views Hardware» more  ACSD 2005»
16 years 11 days ago
Complexity Results for Checking Distributed Implementability
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
Keijo Heljanko, Alin Stefanescu
ICTCS
2005
Springer
16 years 7 days ago
Weighted Coloring: Further Complexity and Approximability Results
Given a vertex-weighted graph G = (V, E; w), w(v) ≥ 0 for any v ∈ V , we consider a weighted version of the coloring problem which consists in finding a partition S = (S1, . ...
Bruno Escoffier, Jérôme Monnot, Vange...
NPAR
2004
ACM
16 years 4 days ago
Rendering complexity in computer-generated pen-and-ink illustrations
We present a method to aid in the generation of pen-and-ink style renderings of complex geometry. Most illustration algorithms focus on rendering a small number of surfaces with a...
Brett Wilson, Kwan-Liu Ma
157
Voted
ISMIR
2004
Springer
134views Music» more  ISMIR 2004»
16 years 3 days ago
Extracting Melody Lines From Complex Audio
We propose a system which extracts the melody line played by a solo instrument from complex audio. At every time frame multiple fundamental frequency (F0) hypotheses are generated...
Jana Eggink, Guy J. Brown