3909 search results - page 606 / 782 » Extreme Model Checking |
196
click to vote
VC
2008
15 years 6 months ago
2008
This paper presents a novel and fast image-space collision detection algorithm with the A-buffer, where the GPU computes the potentially colliding sets (PCSs), and the CPU performs...
149
click to vote
JMLR
2002
15 years 6 months ago
2002
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
170
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
Two popular webpage ranking algorithms are HITS and PageRank. HITS emphasizes mutual reinforcement between authority and hub webpages, while PageRank emphasizes hyperlink weight n...
171
click to vote
CGF
2010
15 years 6 months ago
2010
Strange attractors of 3D vector field flows sometimes have a fractal geometric structure in one dimension, and smooth surface behavior in the other two. General flow visualization...
168
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In a setting where heterogeneous agents interact to accomplish a given set of goals, cooperation is of utmost importance, especially when agents cannot achieve their indi...