654 search results - page 54 / 131 » Thinking about computational thinking |
IRI
2003
IEEE
14 years 2 months ago
2003
IEEE
— The AnyLog pattern models the core knowledge of any Log, as a written record. The Log finds extensive use in the computing industry. The pattern makes it easy to model differen...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
ICPP
1995
IEEE
14 years 16 days ago
1995
IEEE
Data-parallel primitives for performing operations on the PM1 quadtree and the bucket PMR quadtree are presented using the scan model. Algorithms are described for building these ...
COGSCI
2011
13 years 4 months ago
2011
Many kinds of creativity result from combination of mental representations. This paper provides a computational account of how creative thinking can arise from combining neural pa...
BCSHCI
2007
13 years 10 months ago
2007
The Creative Problem-Solving Research Group (CPSRG) at Lancaster University is a collaboration between psychologists and computer scientists conducting research into creativity, p...