Sciweavers

810 search results - page 44 / 162
» Continuous cartogram construction
Sort
View
JCAM
2010
108views more  JCAM 2010»
13 years 2 months ago
Lattices on simplicial partitions
In this paper, (d + 1)-pencil lattices on simplicial partitions in Rd are studied. The barycentric approach naturally extends the lattice from a simplex to a simplicial partition,...
Gasper Jaklic, Jernej Kozak, Marjeta Krajnc, Vito ...
PPDP
2009
Springer
14 years 8 days ago
Context-based proofs of termination for typed delimited-control operators
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
Malgorzata Biernacka, Dariusz Biernacki
ADCM
2007
134views more  ADCM 2007»
13 years 7 months ago
Barycentric coordinates for convex sets
In this paper we provide an extension of barycentric coordinates from simplices to arbitrary convex sets. Barycentric coordinates over convex 2D polygons have found numerous appli...
Joe D. Warren, Scott Schaefer, Anil N. Hirani, Mat...
ICFP
2007
ACM
14 years 7 months ago
Functional pearl: the great escape or, how to jump the border without getting caught
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
David Herman
ICFP
2002
ACM
14 years 7 months ago
Final shift for call/cc: : direct implementation of shift and reset
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
Martin Gasbichler, Michael Sperber