Sciweavers

2605 search results - page 184 / 521
» The many levels of CSCL
Sort
View
ECTEL
2006
Springer
15 years 10 months ago
Tracking User Participation in a Large Scale Team Collaboration Environment
All students of the Hellenic Open University (HOU) attend undergraduate and postgraduate courses at a distance. The lack of a live academic community is reported by many as a drawb...
Dionysis Karaiskakis, Dimitrios Kalles, Thanasis H...
GCC
2006
Springer
15 years 10 months ago
GPFlow: An Intuitive Environment for Web Based Scientific Workflow
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
Asbjørn Rygg, Paul Roe, On Wong
GECCO
2006
Springer
158views Optimization» more  GECCO 2006»
15 years 10 months ago
Exploring network topology evolution through evolutionary computations
We present an evolutionary methodology that explores the evolution of network topology when a uniform growth of the network traffic is considered. The network redesign problem is ...
Sami J. Habib, Alice C. Parker
FROCOS
2000
Springer
15 years 10 months ago
Non-Trivial Symbolic Computations in Proof Planning
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
Volker Sorge
ICFEM
2000
Springer
15 years 10 months ago
Fragmented Retrenchment, Concurrency and Fairness
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
Richard Banach, Michael Poppleton