28 search results - page 5 / 6 » aisc 2008 |
AISC
2008
Springer
13 years 11 months ago
2008
Springer
Intergeo is a European project dedicated to the sharing of interactive geometry constructions. This project is setting up an annotation and search web platform which will offer and...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
A child, or young human-like robot of the future, needs to develop an information-processing architecture, forms of representation, and mechanisms to support perceiving, manipulati...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
AISC
2008
Springer
13 years 11 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...