867 search results - page 40 / 174 » On Two Forms of Structural Recursion |
91
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
This paper presents SRing, a structured non DHT P2P overlay that efficiently supports exact and range queries on multiple attribute values. In SRing, all attribute values are inte...
72
Voted
WINE
2005
Springer
15 years 6 months ago
2005
Springer
A sharing community prospers when participation and contribution are both high. We suggest both, while being related decisions every peer makes, should be given separate rational ...
IFM
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
99
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— This paper addresses the problem of acquiring a hierarchically structured robotic skill in a nonstationary environment. This is achieved through a combination of learning primi...
93
Voted
SIGECOM
2003
ACM
15 years 5 months ago
2003
ACM
We study mechanisms that can be modelled as coalitional games with transferable utilities, and apply ideas from mechanism design and game theory to problems arising in a network d...