Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...
In this paper, we describe a paper-based interface, which combines the physical (real) with the digital world: while interacting with real paper printouts, users can seamlessly wo...
Peter Brandl, Michael Haller, Juergen Oberngruber,...
Abstract. We propose a unifying framework for polyhedral approximation in convex optimization. It subsumes classical methods, such as cutting plane and simplicial decomposition, bu...
Abstract. This paper addresses a problem arising in the reverse engineering of solid models from depth-maps. We wish to identify and fit surfaces of known type wherever these are a...
The Tenth Annual ICFP Programming Contest was a 72-hour contest held July 20?23 2007 and organised in conjunction with the 12th ACM SIGPLAN International Conference on Functional ...