1729 search results - page 122 / 346 » Generic Haskell: Applications |
197
click to vote
ANTS
2006
Springer
15 years 10 months ago
2006
Springer
The discrete logarithm problem (DLP) generalizes to the constrained DLP, where the secret exponent x belongs to a set known to the attacker. The complexity of generic algorithms f...
171
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
132
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: In this paper we consider several facility location problems with applications to cost and social welfare optimization, when the area map is encoded as a binary (0,1) mxn matrix....
133
click to vote
AML
2006
15 years 6 months ago
2006
Abstract. We answer a question of Jockusch by constructing a hyperimmunefree minimal degree below a 1-generic one. To do this we introduce a new forcing notion called arithmetical ...
138
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This paper provides a general technical overview of the Multimedia Home Platform (MHP) specifications. MHP is a generic interface between digital applications and user machines, w...