149 search results - page 21 / 30 » A realizability interpretation for classical analysis |
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper covers a fundamental problem of local phase
based signal processing: the isotropic generalization of the
classical 1D analytic signal to two dimensions. The well
know...
WSC
1998
13 years 9 months ago
1998
In simulation modeling and analysis, there are two situations where there is uncertainty about the number of parameters needed to specify a model. The first is in input modeling w...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
FLAIRS
2004
13 years 9 months ago
2004
Many dramatizations have depicted a fully automated home living environment, where actions and events are understood or even anticipated. While the realization of such environment...
NIPS
1997
13 years 9 months ago
1997
Up-propagation is an algorithm for inverting and learning neural network generative models. Sensory input is processed by inverting a model that generates patterns from hidden var...