921 search results - page 83 / 185 » Abstract Matrix Arithmetic |
CIE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
CADE
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. Reachability and LTL model-checking problems for flat counter systems are known to be decidable but whereas the reachability problem can be shown in NP, the best known c...
ICASSP
2010
IEEE
13 years 8 months ago
2010
IEEE
ive CLP® ABSTRACT Ali A. Milani Broadband speech enhancement and active noise control nvironment ABSTRACT Vanishree Gopalakrishna Real-Time Implementation of Signal Processing Str...
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract— In this paper, we present how moment invariants can be used to design a decoupled 2D visual servoing scheme and to minimize the nonlinearity of the interaction matrix r...
MOC
2002
13 years 7 months ago
2002
ABSTRACT. The aim of this paper is to provide a convergence analysis for a preconditioned subspace iteration, which is designated to determine a modest number of the smallest eigen...