2853 search results - page 32 / 571 » On Coherence in Computer Algebra |
52
Voted
ICPR
2006
IEEE
15 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...
235
Voted
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
15 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...
59
Voted
MSCS
2008
14 years 9 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...
63
Voted
JSC
2002
14 years 9 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...