1763 search results - page 11 / 353 » A Formalization of Polytime Functions |
71
Voted
IFL
2007
Springer
15 years 3 months ago
2007
Springer
65
Voted
CAV
2004
Springer
15 years 3 months ago
2004
Springer
78
Voted
FM
1994
Springer
15 years 1 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
115
click to vote
DSVIS
1998
Springer
15 years 1 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
APPROX
2008
Springer
14 years 11 months ago
2008
Springer
Let C be a class of probability distributions over a finite set . A function D : {0, 1}m is a disperser for C with entropy threshold k and error if for any distribution X in C s...