1511 search results - page 28 / 303 » Relational Parametricity for Computational Effects |
139
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...
142
click to vote
HCI
2009
15 years 1 months ago
2009
Quantitative models of whole body expressive movement can be developed by combining methods form biomechanics, psychology, and statistics. The purpose of this paper was to use moti...
129
click to vote
PLPV
2010
ACM
16 years 28 days 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...
121
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based...
132
click to vote
GRC
2008
IEEE
15 years 5 months ago
2008
IEEE
Preference analysis is a class of important tasks in multi-criteria decision making. The classical rough set theory was generalized to deal with preference analysis by replacing e...