7924 search results - page 1535 / 1585 » Non-Malleable Functions and Their Applications |
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
92
Voted
FORMATS
2006
Springer
15 years 2 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
85
Voted
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
This work shows asymptotic convergence to global optima for a family of dynamically scaled genetic programming systems where the underlying population consists of a fixed number o...
105
Voted
INFOCOM
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper assesses the predictability of network traffic by considering two metrics: (1) how far into the future a traffic rate process can be predicted with bounded error; (2) w...
101
click to vote
KR
2000
Springer
15 years 2 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...