Sciweavers

2526 search results - page 215 / 506
» A New Algorithm for Answer Set Computation
Sort
View
ICRA
2008
IEEE
124views Robotics» more  ICRA 2008»
16 years 29 days ago
On the design of traps for feeding 3D parts on vibratory tracks
In the context of automated feeding (orienting) of industrial parts, we study the algorithmic design of traps in the bowl feeder track that filter out all but one orientation of ...
Onno C. Goemans, A. Frank van der Stappen
PLDI
1995
ACM
15 years 10 months ago
Tile Size Selection Using Cache Organization and Data Layout
When dense matrix computations are too large to fit in cache, previous research proposes tiling to reduce or eliminate capacity misses. This paper presents a new algorithm for ch...
Stephanie Coleman, Kathryn S. McKinley
FM
2008
Springer
148views Formal Methods» more  FM 2008»
15 years 8 months ago
Precise Interval Analysis vs. Parity Games
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
Thomas Gawlitza, Helmut Seidl
EOR
2010
110views more  EOR 2010»
15 years 6 months ago
A hybrid metaheuristic approach to solving the UBQP problem
This paper presents a hybrid metaheuristic approach (HMA) for solving the Unconstrained Binary Quadratic Programming (UBQP) problem. By incorporating a tabu search procedure into ...
Zhipeng Lü, Fred Glover, Jin-Kao Hao
WSCG
2004
205views more  WSCG 2004»
15 years 8 months ago
Visualisation System Based on Image Warping and Delaunay Triangulation of the Space
In this article we present a visualisation algorithm based on image warping. A source data for the algorithm is a set of images with colour and depth information rendered for the ...
Przemyslaw Kozankiewicz