10585 search results - page 1832 / 2117 » The Orc Programming Language |
139
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
120
Voted
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buers and store buer forwarding, cache coherence protocols, o...
101
Voted
FPL
2009
Springer
15 years 8 months ago
2009
Springer
The reconfigurable mesh model for massively parallel computing has recently been rediscovered and proposed as the basis of a practical many-core architecture. With this paper, we...
139
click to vote
UM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper focuses on the utilization of the history of navigation within recommender systems. It aims at designing a collaborative recommender based on Markov models rel...
157
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...