898 search results - page 44 / 180 » A Linear Tabling Mechanism |
GCSE
2001
Springer
14 years 6 days ago
2001
Springer
Abstract. The C++ language has only a limited runtime type information system, which doesn’t provide full reflection capabilities. We present a general mechanism to support refle...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— This paper presents a new reinforcement learning algorithm for accelerating acquisition of new skills by real mobile robots, without requiring simulation. It speeds up Q-learni...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Sparse linear solvers account for much of the execution time in many high-performance computing (HPC) applications, and not every solver works on all problems. Hence choosing a su...
CONCUR
2003
Springer
14 years 28 days ago
2003
Springer
A linear forwarder is a process which receives one message on a channel and sends it on a different channel. Such a process allows for a simple implementation of the asynchronous...
SIGMOD
2009
ACM
14 years 8 months ago
2009
ACM
The query models of the recent generation of very large scale distributed (VLSD) shared-nothing data storage systems, including our own PNUTS and others (e.g. BigTable, Dynamo, Ca...