3994 search results - page 141 / 799 » A Linear Logical Framework |
111
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper deals with the matching of geometric objects including points, curves, surfaces, and subvolumes using implicit object representations in both linear and non-linear sett...
129
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Given a sequence of observable features of a linear dynamical system (LDS), we propose the problem of finding a representation of the LDS which is sparse in terms of a given dict...
171
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
A general framework for solving image inverse problems is introduced in this paper. The approach is based on Gaussian mixture models, estimated via a computationally efficient MAP...
129
click to vote
FSE
2006
Springer
15 years 8 months ago
2006
Springer
We propose a general framework for differential and linear cryptanalysis of block ciphers when the block is not a bitstring. We prove piling-up lemmas for the generalized different...
150
click to vote
FOSSACS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...