11160 search results - page 1831 / 2232 » Incompleteness in a General Setting |
148
click to vote
TLDI
2005
ACM
16 years 12 days ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
184
Voted
WOWMOM
2005
ACM
16 years 12 days ago
2005
ACM
We consider the energy consumed in radio transmission of a set of sensors forming a data gathering wireless network. Our objective is to enhance the lifetime of such networks by e...
197
Voted
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
178
Voted
CCA
2005
Springer
16 years 12 days ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
211
Voted
CCS
2005
ACM
16 years 12 days ago
2005
ACM
Existing reputation systems used by online auction houses do not address the concern of a buyer shopping for commodities—finding a good bargain. These systems do not provide in...