Sciweavers

3557 search results - page 276 / 712
» Authoring Presentation for OpenMath
Sort
View
ECSQARU
2007
Springer
16 years 24 days ago
COBA 2.0: A Consistency-Based Belief Change System
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
James P. Delgrande, Daphne H. Liu, Torsten Schaub,...
ECTEL
2007
Springer
16 years 24 days ago
Experiences of Technology Enhanced Learning: What Went Wrong?
The e-learning community is beginning to amass a great deal of experience of successful practice, but typically final project reports and associated papers concentrate only on the...
Su White, Hugh C. Davis
ECTEL
2007
Springer
16 years 24 days ago
Improving Retrieval of Reusable Learning Resources by Estimating Adaptation Effort
Due to slightly changed scenarios of usage a one-to-one reuse of existing E-Learning resource often is not possible. Actual approaches for retrieving existing E-Learning resources ...
Birgit Zimmermann, Marek Meyer, Christoph Rensing,...
ESOP
2007
Springer
16 years 24 days ago
Probabilistic Anonymity Via Coalgebraic Simulations
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
Ichiro Hasuo, Yoshinobu Kawabe
GECCO
2007
Springer
163views Optimization» more  GECCO 2007»
16 years 24 days ago
Supporting free-form design using a component based representation: an overview
This paper reviews the development of an interactive evolutionary design system (IEDS) for conceptual design, which integrates an agent based ‘build and evolve’ approach with ...
Azahar T. Machwe, Ian C. Parmee