331 search results - page 7 / 67 » HOLCF: Higher Order Logic of Computable Functions |
111
Voted
FOSSACS
2011
Springer
14 years 28 days ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
113
click to vote
EUROCRYPT
1991
Springer
15 years 29 days ago
1991
Springer
Boolean functions that satisfy higher order propagation criteria are studied. A complete characterization is given of the autocorrelation function and Walsh spectrum of second ord...
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
Higher order energy functions have the ability to encode
high level structural dependencies between pixels, which
have been shown to be extremely powerful for image labeling
pro...
103
Voted
SIAMMAX
2011
14 years 8 days ago
2011
Higher-order tensors are used in many application fields, such as statistics, signal processing, and scientific computing. Efficient and reliable algorithms for manipulating thes...
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...