921 search results - page 101 / 185 » Abstract Matrix Arithmetic |
TSMC
2002
13 years 8 months ago
2002
Abstract--This paper presents an iterative learning scheme for visionguided robot trajectory tracking. At first, a stability criterion for designing iterative learning controller i...
IMCSIT
2010
13 years 6 months ago
2010
Abstract--Recently, we have introduced an approach to multicore computations on sparse matrices using recursive partitioning, called Recursive Sparse Blocks (RSB). In this document...
EDM
2009
13 years 6 months ago
2009
Abstract. In educational research, a fundamental goal is identifying which skills students have mastered, which skills they have not, and which skills they are in the process of ma...
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...