4498 search results - page 295 / 900 » How to Invent Functions |
192
click to vote
FROCOS
2005
Springer
16 years 6 days ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
142
click to vote
ICADL
2005
Springer
16 years 5 days ago
2005
Springer
Peer-to-Peer (P2P) overlay network aims to be a feasible platform for building federated but autonomous digital libraries. However, due to a plethora number of P2P infrastructures ...
162
click to vote
ICARIS
2005
Springer
16 years 5 days ago
2005
Springer
An exact Markov chain model of the B-cell algorithm (BCA) is constructed via a novel possible transit method. The model is used to formulate a proof that the BCA is convergent abso...
183
click to vote
INDOCRYPT
2005
Springer
16 years 5 days ago
2005
Springer
We propose a scheme for electronic cash based on symmetric primitives. The scheme is secure in the framework for universal composability assuming the existence of a symmetric CCA2-...
137
click to vote
ISSAC
2005
Springer
16 years 5 days ago
2005
Springer
Given an elementary function with algebraic branch cuts, we show how to decide which sheet of the associated Riemann surface we are on at any given point. We do this by establishi...