6881 search results - page 314 / 1377 » Motivation |
179
Voted
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
162
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
172
click to vote
VISSOFT
2005
IEEE
16 years 10 days ago
2005
IEEE
The paper presents a new visualization approach to support static concept location in source code. The approach is realized through the combination of two existing tools: IRiSS, w...
154
click to vote
APLAS
2005
ACM
16 years 9 days ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
123
Voted
GROUP
2005
ACM
16 years 9 days ago
2005
ACM
This paper argues that proactive behaviour, caused by high engagement and motivation of the learners, may lead to failure of collaborative learning. By examining empirical data fr...