4211 search results - page 427 / 843 » Types as Abstract Interpretations |
137
click to vote
LACL
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Some new algebras, which are possible denotations for various determiners, are studied. One of them is the algebra of generalised cardinal quantifiers which is a sub-alg...
175
click to vote
WCC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The recently developed algebraic attacks apply to all keystream generators whose internal state is updated by a linear transition function, including LFSR-based generator...
181
click to vote
ASIACRYPT
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present new results in the framework of secure multiparty computation based on homomorphic threshold cryptosystems. We introduce the conditional gate as a special type...
153
click to vote
ASIAN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Unlike today where the majority of diagrams are static, lifeless objects reflecting their origin in print media, the computer of the near future will provide more flexi...
185
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Finding a good wavelet for a particular application and type of input data is a difficult problem. Traditional methods of wavelet deus on abstract properties of the wavelet that ca...