Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
Abstract. We extend different Description Logics by concrete domains (such as integers and reals) and by aggregation functions over these domains (such as min;max;count;sum), which...
Abstract. Efficient non-interactive zero-knowledge proofs are a powerful tool for solving many cryptographic problems. We apply the recent Groth-Sahai (GS) proof system for pairing...
Mira Belenkiy, Melissa Chase, Markulf Kohlweiss, A...
A 3D reconstruction of retinal blood vessel trees using two views of fundus images is presented. The problem addresses: 1) The recovery of camera-eye model parameters by an self-c...
Deformable models in the \physically-based" paradigm are almost always formulated in an ad-hoc fashion, not related to physical reality { they apply the equations on physics i...
Terrance E. Boult, Samuel D. Fenster, Thomas O'Don...