3007 search results - page 64 / 602 » Linear Functional Fixed-points |
145
click to vote
JFP
2010
15 years 1 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
146
click to vote
PRL
2010
14 years 9 months ago
2010
For fast classification under real-time constraints, as required in many imagebased pattern recognition applications, linear discriminant functions are a good choice. Linear discr...
128
Voted
WOLLIC
2007
Springer
15 years 9 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
122
click to vote
MP
1998
15 years 2 months ago
1998
We define the base polytope B(P, g) of a partially ordered set P and a supermodular function g on the ideals ofP as the convex hull of the incidence vectors of all linear extensio...
123
click to vote
EUROCRYPT
2003
Springer
15 years 8 months ago
2003
Springer
A classical construction of stream ciphers is to combine several LFSRs and a highly non-linear Boolean function f. Their security is usually analysed in terms of correlation attack...