Sciweavers

4378 search results - page 26 / 876
» On the Complexity of Ordered Colourings
Sort
View
PODC
2011
ACM
12 years 11 months ago
Locally checkable proofs
This work studies decision problems from the perspective of nondeterministic distributed algorithms. For a yes-instance there must exist a proof that can be verified with a distri...
Mika Göös, Jukka Suomela
BNCOD
2007
137views Database» more  BNCOD 2007»
13 years 10 months ago
Isolating Order Semantics in Order-Sensitive XQuery-to-SQL Translation
Order is essential for XML query processing. Efficient XML processing with order consideration over relational storage is non-trivial, especially for complex nested XQuery expressi...
Song Wang, Ling Wang, Elke A. Rundensteiner
SIAMNUM
2010
178views more  SIAMNUM 2010»
13 years 3 months ago
A New Class of High Order Finite Volume Methods for Second Order Elliptic Equations
In the numerical simulation of many practical problems in physics and engineering, finite volume methods are an important and popular class of discretization methods due to the loc...
Long Chen
EUROCRYPT
2010
Springer
14 years 1 months ago
Converting Pairing-Based Cryptosystems from Composite-Order Groups to Prime-Order Groups
We develop an abstract framework that encompasses the key properties of bilinear groups of composite order that are required to construct secure pairing-based cryptosystems, and we...
David Mandell Freeman
MVA
2002
254views Computer Vision» more  MVA 2002»
13 years 8 months ago
Retinal Blood Vessel Extraction by Using Multi-resolution Matched Filtering and Directional Region Growing Segmentation
Anew method to extract retinal blood vessels from a colour fundus image is described. Digital colour h d u s images are contrast enhanced in order to obtain sharp edges. The green...
Mitsutoshi Himaga, David Usher, James F. Boyce