Sciweavers

1716 search results - page 176 / 344
» Reflections on a Geometry of Processes
Sort
View
CONCUR
2008
Springer
15 years 6 months ago
Subsequence Invariants
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...
Klaus Dräger, Bernd Finkbeiner
CATE
2004
133views Education» more  CATE 2004»
15 years 6 months ago
Semi-Automatic Evaluation Features in Computer-assisted Essay Assessment
The role of assessment and evaluation has recently changed in a way which will have fundamental consequences in applying information and communication technologies (ICTs) to analy...
Tuomo Kakkonen, Niko Myller, Erkki Sutinen
WSCG
2003
142views more  WSCG 2003»
15 years 6 months ago
Three-Dimensional Object Recognition: Statistical Approach
The design of a general purpose artificial vision system capable of recognizing arbitrarily complex threedimensional objects without human intervention is still a challenging task...
R. Abdul Salam, M. A. Rodrigues
AI
2005
Springer
15 years 4 months ago
Semiotic schemas: A framework for grounding language in action and perception
A theoretical framework for grounding language is introduced that provides a computational path from sensing and motor action to words and speech acts. The approach combines conce...
Deb Roy
JUCS
2007
84views more  JUCS 2007»
15 years 4 months ago
Formal Representations of Learning Scenarios: A Methodology to Configure E-Learning Systems
: Nowadays, advanced E-Learning systems are generally pedagogy-aware. Commonly, these systems include facilities for defining so-called learning scenarios that reflect sophisticate...
Denis Helic