1982 search results - page 102 / 397 » Parametricity and dependent types |
136
click to vote
PLPV
2010
ACM
16 years 1 months ago
2010
ACM
Type-based reasoning is popular in functional programming. In particular, parametric polymorphism constrains functions in such a way that statements about their behavior can be de...
142
click to vote
COMPGEOM
2006
ACM
15 years 10 months ago
2006
ACM
This paper examines the computation of the Voronoi diagram of a set of ellipses in the Euclidean plane. We propose the first complete algorithms, under the exact computation para...
119
click to vote
SMA
2005
ACM
15 years 10 months ago
2005
ACM
In the parametric feature based design paradigm, most features possess arguments that are subsets of the boundary of the current model, subsets defined interactively by user sele...
131
click to vote
PCM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A prototype basketball video retrieval system is presented in this report. Retrieval is based on the similarity of ball motion in the clip with that in the query. The sys...
137
click to vote
SMA
2003
ACM
15 years 10 months ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...