6047 search results - page 1208 / 1210 » Modeling with Extend |
LPAR
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
INFOCOM
2012
IEEE
12 years 2 days ago
2012
IEEE
Abstract—This paper describes and compares alternative architectures for achieving the functional goals of name oriented networking. The CCN (content-centric network) scheme prop...
CRYPTO
2012
Springer
12 years 1 days ago
2012
Springer
We propose a general multiparty computation protocol secure against an active adversary corrupting up to n−1 of the n players. The protocol may be used to compute securely arithm...
PAMI
2012
12 years 1 days ago
2012
— Over the last century, Component Analysis (CA) methods such as Principal Component Analysis (PCA), Linear Discriminant Analysis (LDA), Canonical Correlation Analysis (CCA), Lap...
KDD
2012
ACM
12 years 1 days ago
2012
ACM
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...