Search Sciweavers | Sciweavers

16616 search results - page 213 / 3324

» Extending Extended Vacuity

256

click to vote

FPCA
1995

144views Programming Languages» more FPCA 1995»

Bananas in Space: Extending Fold and Unfold to Exponential Types

15 years 9 months ago

Download www.cs.nott.ac.uk

Fold and unfold are general purpose functionals for processing and constructing lists. By using the categorical approach of modelling recursive datatypes as ﬁxed points of funct...

Erik Meijer, Graham Hutton

claim paper

Read More »

132

click to vote

STACS
1995
Springer

110views Theoretical Computer Science» more STACS 1995»

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)

15 years 9 months ago

Download www-verimag.imag.fr

Oded Maler, Amir Pnueli, Joseph Sifakis

claim paper

Read More »

115

click to vote

STOC
1995
ACM

86views Algorithms» more STOC 1995»

Fast protein folding in the hydrophobic-hydrophilic model within three-eights of optimal (Extended Abstract)

15 years 9 months ago

Download www.cs.brown.edu

William E. Hart, Sorin Istrail

claim paper

Read More »

131

click to vote

ASIACRYPT
1991
Springer

84views Cryptology» more ASIACRYPT 1991»

Revealing Information with Partial Period Correlations (Extended Abstract)

15 years 9 months ago

Download www.math.ias.edu

g Information with Partial Period Correlations (extendedabstract) Andrew Klapper Mark Goresky Northeastern University, College of Computer Science, Boston, MA 02115, U.S.A.

Andrew Klapper, Mark Goresky

claim paper

Read More »

120

click to vote

EPIA
1991
Springer

96views Artificial Intelligence» more EPIA 1991»

The Extended Stable Models of Contradiction Removal Semantics

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers