714 search results - page 26 / 143 » Subjective Representations of Educational Design Systems |
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
GECCO
2005
Springer
15 years 4 months ago
2005
Springer
For computer-automated design systems to scale to complex designs they must be able to produce designs that exhibit the characteristics of modularity, regularity and hierarchy –...
CORR
1999
Springer
14 years 11 months ago
1999
Springer
This paper introduces a logical system, called BV , which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challe...
138
click to vote
ACMIDC
2010
14 years 9 months ago
2010
Children with autism often experience substantial challenges in understanding, structuring, and predicting the activities in their daily lives. The use of symbols to represent a s...
DESRIST
2009
Springer
15 years 4 months ago
2009
Springer
Design science emphasizes the connection between knowledge and practice by showing that we can produce scientific knowledge by designing useful things. However, without further g...