6045 search results - page 240 / 1209 » Computable Linearizations of Well-partial-orderings |
180
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Ultimately being motivated by facilitating space-variant blind deconvolution, we present a class of linear transformations, that are expressive enough for space-variant filters, ...
195
click to vote
FCT
2005
Springer
16 years 22 days ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
186
click to vote
FROCOS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
211
click to vote
ICCSA
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We apply internal perturbation [3] to the matrix-type cryptosystems [Cn] and HM constructed in [9]. Using small instances of these variants, we investigate the existence ...
225
click to vote
CA
2003
IEEE
16 years 15 days ago
2003
IEEE
This paper presents an efficient method of learning motion control for autonomous animated characters. The method uses a non parametric learning approach which identifies non line...