3624 search results - page 25 / 725 » Abstract Algebraic Logic |
COGSCI
2008
14 years 12 months ago
2008
fs Between Grounded and Abstract Representations: Evidence From Algebra Problem Solving Kenneth R. Koedingera, Martha W. Alibalib, Mitchell J. Nathanc a Human
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
14 years 11 months ago
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...
101
click to vote
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
Scaling is currently the most popular technique used to improve performance metrics of CMOS circuits. This cannot go on forever because the properties that are responsible for the ...
FM
1999
Springer
15 years 4 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
102
Voted
DASFAA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. Extensions of relational databases which aim at utilizing various aspects of similarity and imprecision in data processing are widespread in the literature. A need for de...