2853 search results - page 32 / 571 » On Coherence in Computer Algebra |
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
This paper describes an efficient vision-based global topological localization approach that uses a coarse-tofine strategy. Orientation Adjacency Coherence Histogram (OACH), a nov...
153
click to vote
Tutorial
"This is a tutorial on vector algebra and matrix algebra from the viewpoint of computer graphics. It covers most vector and matrix topics needed to read college-level computer...
ASM
1998
ASM
14 years 1 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
MSCS
2008
13 years 8 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
JSC
2002
13 years 8 months ago
2002
, Allen C.) see Innovations in teaching abstract algebra, 2003b:00019 Littlewood, D. E. The skeleton key of mathematics. (English summary) 2003j:01046 Magnin, Louis Quelques questi...