Sciweavers

2661 search results - page 435 / 533
» Quantum Complexity Classes
Sort
View
127
Voted
TCOM
2008
74views more  TCOM 2008»
15 years 1 months ago
Stability of a frame-based oldest-cell-first maximal weight matching algorithm
Abstract-- Input-queued cell switches employing the oldestcell-first (OCF) policy have been shown to yield low mean delay characteristics. Moreover, it has been proven that OCF is ...
Xike Li, Itamar Elhanany
121
Voted
IS
2007
15 years 1 months ago
Semantic optimization techniques for preference queries
Preference queries are relational algebra or SQL queries that contain occurrences of the winnow operator (find the most preferred tuples in a given relation). Such queries are pa...
Jan Chomicki
138
Voted
TDSC
2008
152views more  TDSC 2008»
15 years 1 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
117
Voted
IVC
2007
102views more  IVC 2007»
15 years 1 months ago
Analysis of the rubberband algorithm
We consider simple cube-curves in the orthogonal 3D grid of cells. The union of all cells contained in such a curve (also called the tube of this curve) is a polyhedrally bounded s...
Fajie Li, Reinhard Klette
105
Voted
TOG
2008
193views more  TOG 2008»
15 years 29 days ago
Random-access rendering of general vector graphics
We introduce a novel representation for random-access rendering of antialiased vector graphics on the GPU, along with efficient encoding and rendering algorithms. The representati...
Diego Nehab, Hugues Hoppe