3071 search results - page 36 / 615 » Explanatory Design Theory |
JMIS
2010
14 years 4 months ago
2010
This paper presents Bounded Ideation Theory (BIT) to explain the relationship between the number-of-ideas and the number-of-good-ideas contributed during ideation. BIT posits that...
INTERFACES
2008
14 years 9 months ago
2008
re more abstract than necessary. They depend on assumptions that are highly unlikely to occur in practical situations, which are often less formal and rigid. Nonetheless, we discus...
JFP
2008
14 years 9 months ago
2008
The historical design of the call-by-value theory of control relies on the reification of evaluation contexts as regular functions and on the use of ordinary term application for ...
JSC
2006
14 years 9 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. This paper defends an augmented cognitively oriented "genericdesign hypothesis": There are both significant similarities between the design activities implement...