Sciweavers

849 search results - page 35 / 170
» Completely Non-malleable Schemes
Sort
View
BMCBI
2006
211views more  BMCBI 2006»
15 years 16 days ago
Missing value estimation for DNA microarray gene expression data by Support Vector Regression imputation and orthogonal coding s
Background: Gene expression profiling has become a useful biological resource in recent years, and it plays an important role in a broad range of areas in biology. The raw gene ex...
Xian Wang, Ao Li, Zhaohui Jiang, Huanqing Feng
TCC
2010
Springer
176views Cryptology» more  TCC 2010»
15 years 9 months ago
Ideal Hierarchical Secret Sharing Schemes
The search of efficient constructions of ideal secret sharing schemes for families of nonthreshold access structures that may have useful applications has attracted a lot of atten...
Oriol Farràs, Carles Padró
106
Voted
LICS
2006
IEEE
15 years 6 months ago
On Model-Checking Trees Generated by Higher-Order Recursion Schemes
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
C.-H. Luke Ong
78
Voted
SIROCCO
2001
15 years 1 months ago
Characterization of Networks Supporting Multi-dimensional Linear Interval Routing Schemes
An Interval Routing Scheme (IRS) is a well-known, space efficient routing strategy for routing messages in a distributed network. In this scheme, each node of the network is assig...
Yashar Ganjali
144
Voted
POPL
2010
ACM
15 years 10 months ago
Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification
We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno