1763 search results - page 11 / 353 » A Formalization of Polytime Functions |
IFL
2007
Springer
14 years 4 months ago
2007
Springer
CAV
2004
Springer
14 years 3 months ago
2004
Springer
FM
1994
Springer
14 years 2 months ago
1994
Springer
Rules are presented for efficiently adding real-time requirements to existing functional program refinements.
DSVIS
1998
Springer
14 years 2 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 2 days 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...