3557 search results - page 130 / 712 » Authoring Presentation for OpenMath |
168
click to vote
JFP
2000
15 years 6 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
149
click to vote
IJRR
2002
15 years 6 months ago
2002
The contribution of this paper is the expansion of the range of possibilities in the analysis, planning, and control of contact tasks. The successful execution of any contact task...
159
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Scientists depend on literature search to find prior work that is relevant to their research ideas. We introduce a retrieval model for literature search that incorporates a wide ...
190
click to vote
JCS
2010
15 years 4 months ago
2010
Public-key cryptography can uniquely enable trust within distributed settings. Employing it usually requires deploying a set of tools and services collectively known as a public k...
164
click to vote
FOCM
2010
15 years 3 months ago
2010
This paper presents a numerical compression strategy for the boundary integral equation of acoustic scattering in two dimensions. These equations have oscillatory kernels that we ...