831 search results - page 88 / 167 » Coalgebraic Correspondence Theory |
179
click to vote
POPL
2004
ACM
16 years 6 days ago
2004
ACM
We present a formalization of the implementation of generics in the .NET Common Language Runtime (CLR), focusing on two novel aspects of the implementation: mixed specialization a...
STOC
2002
ACM
16 years 5 days ago
2002
ACM
A string graph is the intersection graph of a set of curves in the plane. Each curve is represented by a vertex, and an edge between two vertices means that the corresponding curv...
136
click to vote
SIBGRAPI
2009
IEEE
15 years 6 months ago
2009
IEEE
—We present the Hermite radial basis function (HRBF) implicits method to compute a global implicit function which interpolates scattered multivariate Hermite data (unstructured p...
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
In the negotiation literature we find two relatively distinct types of negotiation. The two types are known as integrative negotiations and distributive negotiations. Integrative...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we apply the classic theory of Harmonic Analysis and the Conformal Geometric Algebra (CGA) to evaluate the Fourier transform on the unit sphere S2 and on the rotatio...