Sciweavers

1560 search results - page 111 / 312
» Order Functions and Evaluation Codes
Sort
View
JMLR
2010
135views more  JMLR 2010»
13 years 4 months ago
Structured Prediction Cascades
Structured prediction tasks pose a fundamental trade-off between the need for model complexity to increase predictive power and the limited computational resources for inference i...
David Weiss, Benjamin Taskar
METRICS
2003
IEEE
14 years 3 months ago
A Metrics Suite for Measuring Reusability of Software Components
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...
Hironori Washizaki, Hirokazu Yamamoto, Yoshiaki Fu...
CSFW
2009
IEEE
14 years 2 months ago
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo ...
GLOBECOM
2007
IEEE
14 years 4 months ago
Performance of Lincoded Optical Heterodyne CPFSK Transmission System Affected by Polarization Mode Dispersion in a Single Mode F
A theoretical analysis for evaluating the performance of a lincoded continuous phase optical frequency shift keying (CPFSK) optical transmission system with delay line demodulation...
Md. Saiful Islam 0002, Satya Prasad Majumder
ISSAC
2009
Springer
169views Mathematics» more  ISSAC 2009»
14 years 4 months ago
Computations modulo regular chains
The computation of triangular decompositions involves two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new...
Xin Li, Marc Moreno Maza, Wei Pan