1310 search results - page 70 / 262 » Parameterized Partial Evaluation |
165
Voted
COLING
2010
15 years 26 days ago
2010
We generalize the task of finding question paraphrases in a question repository to a novel formulation in which known questions are ranked based on their utility to a new, referen...
138
click to vote
CAV
2007
Springer
16 years 2 days ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
187
click to vote
CTRSA
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we present a general framework for evaluating the performance characteristics of block cipher structures composed of S-boxes and Maximum Distance Separable (MDS) ma...
149
click to vote
GRAPHICSINTERFACE
2007
15 years 7 months ago
2007
We present an interactive algorithm to compute surface distance maps for triangulated models. The distance map represents the distance-to-closest-primitive mapping at each point o...
199
click to vote
CORR
2012
Springer
14 years 1 months ago
2012
Springer
Determinantal point processes (DPPs), which arise in random matrix theory and quantum physics, are natural models for subset selection problems where diversity is preferred. Among...