Sciweavers

816 search results - page 9 / 164
» Abstract Barycentric Algebras
Sort
View
ACSD
2006
IEEE
89views Hardware» more  ACSD 2006»
14 years 1 months ago
Towards an Algebra of Abstractions for Communicating Processes
an Algebra of Abstractions for Communicating Processes M. Koutny, Giuseppe Pappalardo and M. Pietkiewicz-Koutny. TECHNICAL REPORT SERIES No. CS-TR-949 Febuary, 2006 NEWCASTLE UN IV...
Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiew...
COGSCI
2008
67views more  COGSCI 2008»
13 years 7 months ago
Trade-Offs Between Grounded and Abstract Representations: Evidence From Algebra Problem Solving
fs Between Grounded and Abstract Representations: Evidence From Algebra Problem Solving Kenneth R. Koedingera, Martha W. Alibalib, Mitchell J. Nathanc a Human
Kenneth R. Koedinger, Martha W. Alibali, Mitchell ...
JLP
2007
89views more  JLP 2007»
13 years 7 months ago
Universality and semicomputability for nondeterministic programming languages over abstract algebras
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
Wei Jiang, Yuan Wang, Jeffery I. Zucker
CASC
2010
Springer
155views Mathematics» more  CASC 2010»
13 years 6 months ago
Type Specialization in Aldor
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
Laurentiu Dragan, Stephen M. Watt
FSEN
2007
Springer
14 years 1 months ago
Action Abstraction in Timed Process Algebra
Michel A. Reniers, Muck van Weerdenburg