6770 search results - page 433 / 1354 » How GPUs Work |
139
click to vote
RR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
158
click to vote
SPIRE
2009
Springer
15 years 11 months ago
2009
Springer
Collaborative filtering (CF) shares information between users to provide each with recommendations. Previous work suggests using sketching techniques to handle massive data sets i...
140
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
115
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We describe a distributed algorithm for solving the rendezvous problem based on consensus protocols. We extend our previous work by considering the case when the evolution of t...
123
click to vote
DASFAA
2008
IEEE
15 years 11 months ago
2008
IEEE
Similarity search in complex databases is of utmost interest in a wide range of application domains. Often, complex objects are described by several representations. The combinatio...