4695 search results - page 852 / 939 » Software Clustering Techniques and the Use of Combined Algor... |
181
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w.r....
201
click to vote
CCGRID
2011
IEEE
14 years 10 months ago
2011
IEEE
– Efficient implementations of the Discrete Fourier Transform (DFT) for GPUs provide good performance with large data sizes, but are not competitive with CPU code for small data ...
198
click to vote
AGENTS
2001
Springer
15 years 10 months ago
2001
Springer
Matchmaking is the process of mediating demand and supply based on profile information. Matchmaking plays a crucial role in agent-based electronic marketplaces: the problem to be ...
174
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
The NVIDIA® OptiX™ ray tracing engine is a programmable system designed for NVIDIA GPUs and other highly parallel architectures. The OptiX engine builds on the key observation ...
187
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: It is common for the results of a microarray study to be analyzed in the context of biologically-motivated groups of genes such as pathways or Gene Ontology categories...