921 search results - page 71 / 185 » Abstract Matrix Arithmetic |
ICDAR
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—The paper presents a method for isolated offline character recognition using radon features. The key characteristic of the method is to use DTW algorithm to match corres...
OL
2008
13 years 7 months ago
2008
Abstract Manyeconomicmodels andoptimizationproblems generate(endogenous) shadow prices--alias dual variables or Lagrange multipliers. Frequently the "slopes" of resulting...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
ICCAD
1994
IEEE
13 years 12 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
APLAS
2011
ACM
12 years 7 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...