11739 search results - page 337 / 2348 » Slideshow: functional presentations |
162
click to vote
GCB
2005
Springer
16 years 10 days ago
2005
Springer
We present an extension of the standard partition function approach to RNA secondary structures that computes the probabilities Pu[i, j] that a sequence interval [i, j] is unpaired...
172
Voted
ICCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
157
click to vote
AMAST
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
150
click to vote
CSL
2004
Springer
16 years 6 days ago
2004
Springer
We present a novel third-order theory W1 1 of bounded arithmetic suitable for reasoning about PSPACE functions. This theory has the advantages of avoiding the smash function symbol...
211
click to vote
EUROPKI
2004
Springer
16 years 6 days ago
2004
Springer
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the orga...