1728 search results - page 38 / 346 » The Accelerated Euclidean Algorithm |
STOC
1998
ACM
15 years 3 months ago
1998
ACM
82
Voted
ATVA
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
DATE
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper presents a versatile hardware/software cosimulation and co-design environment for embedded 3D graphics accelerators. The GRAphics AcceLerator design exploration framewo...
GECCO
2005
Springer
15 years 4 months ago
2005
Springer
This paper presents an ant-based approach for solving the Traveling Salesman Problem (TSP). Novel concepts of this algorithm that distinguish it from the other heuristics are the ...
66
Voted
APPROX
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We consider the problem of approximating the average distance between pairs of points in a high-dimensional Euclidean space, and more generally in any metric space. We co...