1145 search results - page 113 / 229 » Power-Driven Design Partitioning |
SISAP
2009
IEEE
15 years 8 months ago
2009
IEEE
—We introduce a novel metric space search data structure called EGNAT, which is fully dynamic and designed for secondary memory. The EGNAT is based on Brin’s GNAT static index,...
103
click to vote
LATA
2010
Springer
15 years 8 months ago
2010
Springer
Operator precedence languages, designated as Floyd’s Languages (FL) to honor their inventor, are a classical deterministic context-free family. FLs are known to be a boolean fami...
ARCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract: We report on our experiences with the implementation of a parallel algorithm to compute the cycle structure of a permutation given as an oracle. As a sub-problem, the cyc...
CP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce a new approach for focusing constraint reasoning using so-called streamlining constraints. Such constraints partition the solution space to drive the search ...
87
Voted
MHCI
2004
Springer
15 years 6 months ago
2004
Springer
This paper introduces a novel user interface designed to mitigate some of the usability problems in mobile web access. The interface consists of two side-by-side panels for represe...