208 search results - page 16 / 42 » On an undecidable problem related to difference equations wi... |
ESOP
2000
Springer
14 years 2 days ago
2000
Springer
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 ...
ECAI
1998
Springer
14 years 2 days ago
1998
Springer
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...
PAIRING
2009
Springer
14 years 3 months ago
2009
Springer
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...
ICVGIP
2004
13 years 9 months ago
2004
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...
NSF
1994
Springer
14 years 16 days ago
1994
Springer
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...