366 search results - page 48 / 74 » Model-checking higher-order functions |
101
click to vote
ITCC
2000
IEEE
15 years 4 months ago
2000
IEEE
Using the operational matrix of an orthogonal function to perform integration for solving, identifying and optimizing a linear dynamic system has several advantages: (1) the metho...
PADL
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
Sound field reproduction methods like higher order Ambisonics which are based on orthogonal expansions always introduce a limitation of the spatial bandwidth of the secondary sou...
TAPSOFT
1993
Springer
15 years 3 months ago
1993
Springer
Lamping's optimalgraph reduction technique for the -calculus is generalized to a new class of higher order rewriting systems, called Interaction Systems. Interaction Systems ...
ASIACRYPT
2006
Springer
15 years 3 months ago
2006
Springer
We introduce KFC, a block cipher based on a three round Feistel scheme. Each of the three round functions has an SPN-like structure for which we can either compute or bound the adv...