6906 search results - page 429 / 1382 » An algorithm for modelling key terms |
213
Voted
POPL
1991
ACM
15 years 10 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
162
click to vote
ICTCS
2005
Springer
16 years 11 days ago
2005
Springer
We consider the fundamental problem of waking up n processors sharing a multiple access channel. We assume the weakest model of synchronization, the locally synchronous model, in ...
208
Voted
KDD
2004
ACM
16 years 7 days ago
2004
ACM
We present a algorithm based on factor analysis for performing collaborative quality filtering (CQF). Unlike previous approaches to CQF, which estimate the consensus opinion of a...
154
click to vote
GRAPHICSINTERFACE
2003
15 years 8 months ago
2003
Collision detection is a vital task in almost all forms of computer animation and physical simulation. It is also one of the most computationally expensive, and therefore a freque...
203
Voted
GMP
2008
IEEE
15 years 7 months ago
2008
IEEE
We perform collision detection between static rigid objects using a bounding volume hierarchy which consists of an oriented bounding box (OBB) tree enhanced with bounding spheres. ...