2157 search results - page 360 / 432 » Optimal Fast Hashing |
81
Voted
IWINAC
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents a method for spatial navigation performed mainly on past experiences. The past experiences are remembered in their temporal context, i.e. as episodes of events....
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
ASPDAC
2004
ACM
15 years 5 months ago
2004
ACM
—The routing environment for the new emerging mixed-signal System-on-Package (SOP) technology is more advanced than that of the conventional PCB or MCM technology – pins are lo...
IMR
2004
Springer
15 years 5 months ago
2004
Springer
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
PVM
2004
Springer
15 years 5 months ago
2004
Springer
The one-sided communication operations in MPI are intended to provide the convenience of directly accessing remote memory and the potential for higher performance than regular poin...