2607 search results - page 225 / 522 » Complete Functional Synthesis |
150
click to vote
SMI
2008
IEEE
15 years 10 months ago
2008
IEEE
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
138
click to vote
EUROCRYPT
2007
Springer
15 years 10 months ago
2007
Springer
We investigate a general class of (black-box) constructions for range extension of weak pseudorandom functions: a construction based on m independent functions F1, . . . , Fm is gi...
142
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
118
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the me...
155
click to vote
ICES
2001
Springer
15 years 8 months ago
2001
Springer
This paper introduces the concept of polymorphic electronics (polytronics) –referring to electronics with superimposed built-in functionality. A function change does not require ...