Sciweavers

9842 search results - page 1628 / 1969
» The Complexity of the Matching-Cut Problem
Sort
View
SP
2007
IEEE
120views Security Privacy» more  SP 2007»
16 years 29 days ago
Endorsed E-Cash
An electronic cash (e-cash) scheme lets a user withdraw money from a bank and then spend it anonymously. E-cash can be used only if it can be securely and fairly exchanged for ele...
Jan Camenisch, Anna Lysyanskaya, Mira Meyerovich
VTC
2007
IEEE
125views Communications» more  VTC 2007»
16 years 29 days ago
Gaussian Pulse Based Tone Reservation for Reducing PAPR of OFDM Signals
Abstract – One of the major drawbacks of OFDM is high Peakto-Average Power Ratio (PAPR) which can result in poor power efficiency and serious distortion in the transmitter amplif...
Carole A. Devlin, Anding Zhu, Thomas J. Brazil
WECWIS
2007
IEEE
148views ECommerce» more  WECWIS 2007»
16 years 29 days ago
The Core and Shapley Value Analysis for Cooperative Formation of Procurement Networks
Formation of high value procurement networks involves a bottom-up assembly of complex production, assembly, and exchange relationships through supplier selection and contracting d...
T. S. Chandrashekar, Y. Narahari
ATAL
2007
Springer
16 years 27 days ago
Estimating information value in collaborative multi-agent planning systems
This paper addresses the problem of identifying the value of information held by a teammate on a distributed, multi-agent team. It focuses on a distributed scheduling task in whic...
David Sarne, Barbara J. Grosz
ATVA
2007
Springer
108views Hardware» more  ATVA 2007»
16 years 27 days ago
A New Approach to Bounded Model Checking for Branching Time Logics
Abstract. Bounded model checking (BMC) is a technique for overcoming the state explosion problem which has gained wide industrial acceptance. Bounded model checking is typically ap...
Rotem Oshman, Orna Grumberg
« Prev « First page 1628 / 1969 Last » Next »