616 search results - page 37 / 124 » Decoding One Out of Many |
WECWIS
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper analyzes auctions which are not completely enforceable. In such auctions, economic agents may fail to carry out their obligations, and parties involved cannot rely on ex...
TPHOL
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
PCI
2001
Springer
14 years 27 days ago
2001
Springer
Abstract. Extensive research has been carried out in search for an efcient atomic commit protocol and many optimizations have been suggested to improve the basic two-phase commit p...
ISMVL
2000
IEEE
14 years 25 days ago
2000
IEEE
Many believe that the most important result to come out of the last ten years of neural network research is the significant change in perspective in the neuroscience community tow...
WETICE
2000
IEEE
14 years 25 days ago
2000
IEEE
Internet pervasive services call for flexible supports to enable a wide degree of collaboration. On the one hand, many people are connected to the Internet and surf the Web not on...