276 search results - page 7 / 56 » A Matrix Characterization for MELL |
RTA
2010
Springer
13 years 11 months ago
2010
Springer
Matrix interpretations can be used to bound the derivational complexity of rewrite systems. We present a criterion that completely characterizes matrix interpretations that are pol...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
In this paper, we propose a rank minimization method to fuse the predicted confidence scores of multiple models, each of which is obtained based on a certain kind of feature. Spe...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper presents the formulation and implementation of multidimensional deformable models in the frequency domain. The models are defined by finite element discretization, us...
TROB
2002
13 years 7 months ago
2002
This paper presents an error modeling of an odometry system for a synchronous-drive system and a possible strategy for evaluating this error. The odometry error is modeled by intro...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
Run-time support for the CYCLIC(k) redistribution on the SPMD computation model is presently very relevant for the scientific community. This work is focused to the characterizati...