898 search results - page 100 / 180 » A Linear Tabling Mechanism |
CADE
1990
Springer
13 years 12 months ago
1990
Springer
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
IJCAI
2001
13 years 9 months ago
2001
Market mechanisms play a central role in AI as a coordination tool in multiagent systems and as an application area for algorithm design. Mechanisms where buyers are directly clea...
COMCOM
1998
13 years 7 months ago
1998
In this paper we focus on the behavior of the token leaky bucket mechanism with respect to second-order statistics of the departure process under various correlated cell arrival a...
CDC
2009
IEEE
13 years 5 months ago
2009
IEEE
We consider a class of linear flexible mechanical systems arising from the dynamics of animal locomotion. A distinctive property of such systems is that the stiffness matrix is asy...
HPCA
2003
IEEE
14 years 8 months ago
2003
IEEE
Although caches for decades have been the backbone of the memory system, the speed gap between CPU and main memory suggests their augmentation with prefetching mechanisms. Recentl...