6413 search results - page 924 / 1283 » Classes of cycle bases |
156
click to vote
SMA
2005
ACM
16 years 13 days ago
2005
ACM
In the parametric feature based design paradigm, most features possess arguments that are subsets of the boundary of the current model, subsets defined interactively by user sele...
157
click to vote
CAV
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
160
Voted
COLT
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
188
click to vote
EUROCRYPT
2005
Springer
16 years 12 days ago
2005
Springer
We revisit the following question: what are the minimal assumptions needed to construct statistically-hiding commitment schemes? Naor et al. show how to construct such schemes bas...
224
click to vote
FSTTCS
2005
Springer
16 years 12 days ago
2005
Springer
We give new proofs of soundness (all representable functions on base types lies in certain complexity classes) for Light Affine Logic, Elementary Affine Logic, LFPL and Soft Af...