9186 search results - page 1546 / 1838 » A Module System for Scheme |
152
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Decentralized Markov decision processes are frequently used to model cooperative multi-agent systems. In this paper, we identify a subclass of general DEC-MDPs that features regul...
153
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
130
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we present a series of distributed algorithms for coverage verification in sensor networks with no location information. We demonstrate how, in the absence of locali...
137
click to vote
EDUTAINMENT
2008
Springer
15 years 5 months ago
2008
Springer
Hyperlinks among webpages are very important information and are widely used for webpage clustering and webpage ranking. With the explosive growth in the number of webpages availab...
132
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
Gathering and processing sensitive data is a difficult task. In fact, there is no common recipe for building the necessary information systems. In this paper, we present a provably...