796 search results - page 136 / 160 » Constructivism in computer science education |
190
click to vote
EJC
2008
15 years 6 months ago
2008
The motivation for this paper is three-fold. First, we study the connectivity properties of the homomorphism order of directed graphs, and more generally for relational structures...
157
click to vote
AIED
2005
Springer
16 years 6 days ago
2005
Springer
This research proposes a user modeling framework which aims to assess and model users’ creative problem-solving ability from their self-explained ideas for a specific scenario of...
166
click to vote
SIGCSE
2004
ACM
16 years 2 days ago
2004
ACM
Multiagent systems is an attractive problem solving approach that is becoming ever more feasible and popular in today’s world. It combines artificial intelligence (AI) and distr...
136
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
167
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...