28962 search results - page 149 / 5793 » Computational Mechanism Design |
PDP
2002
IEEE
15 years 4 months ago
2002
IEEE
AINA
2008
IEEE
15 years 1 months ago
2008
IEEE
ICCS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...
CHI
2006
ACM
16 years 1 days ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...