Sciweavers

8196 search results - page 1537 / 1640
» Computational Modeling and Complexity Science
Sort
View
IACR
2011
147views more  IACR 2011»
12 years 9 months ago
Adaptive Security of Concurrent Non-Malleable Zero-Knowledge
A zero-knowledge protocol allows a prover to convince a verifier of the correctness of a statement without disclosing any other information to the verifier. It is a basic tool a...
Zhenfu Cao, Zongyang Zhang, Yunlei Zhao
KDD
2002
ACM
160views Data Mining» more  KDD 2002»
14 years 10 months ago
Scaling multi-class support vector machines using inter-class confusion
Support vector machines (SVMs) excel at two-class discriminative learning problems. They often outperform generative classifiers, especially those that use inaccurate generative m...
Shantanu Godbole, Sunita Sarawagi, Soumen Chakraba...
CADE
2006
Springer
14 years 10 months ago
Automatic Construction and Verification of Isotopy Invariants
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
Volker Sorge, Andreas Meier, Roy L. McCasland, Sim...
SIGMOD
2007
ACM
122views Database» more  SIGMOD 2007»
14 years 10 months ago
XQuery layers
XML is the data interoperability standard in many application domains. Therefore, an increasing number of researchers and professionals, who are not computer scientists (although ...
Daniele Braga, Alessandro Campi, Stefano Ceri, Pao...
ACML
2009
Springer
14 years 4 months ago
Community Detection on Weighted Networks: A Variational Bayesian Method
Abstract. Massive real-world data are network-structured, such as social network, relationship between proteins and power grid. Discovering the latent communities is a useful way f...
Qixia Jiang, Yan Zhang, Maosong Sun
« Prev « First page 1537 / 1640 Last » Next »