2715 search results - page 271 / 543 » An Implementation of Narrowing Strategies |
168
click to vote
PADL
2007
Springer
16 years 23 days ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
187
click to vote
PSIVT
2007
Springer
16 years 23 days ago
2007
Springer
Let p and q be two points on the surface of a polytope Π. This paper provides a rubberband algorithm for computing a Euclidean shortest path between p and q (a so-called surface E...
150
click to vote
SPIRE
2007
Springer
16 years 22 days ago
2007
Springer
The Longest Common Subsequence (LCS) is a well studied problem, having a wide range of implementations. Its motivation is in comparing strings. It has long been of interest to dev...
167
click to vote
VAMOS
2007
Springer
16 years 22 days ago
2007
Springer
On our ongoing research on variability analysis, two major drawbacks have been identified: a) the lack of an effective tracing from the rationale to the selected variant, and b) t...
182
click to vote
ASAP
2006
IEEE
16 years 21 days ago
2006
IEEE
In the simulation of quantum circuits the matrices and vectors used to represent unitary operations and qubit states grow exponentially as the number of qubits increase. For insta...