Sciweavers

4650 search results - page 166 / 930
» Generating and evaluating evaluative arguments
Sort
View
EVOW
2007
Springer
14 years 4 months ago
Learning and Recognition of Hand-Drawn Shapes Using Generative Genetic Programming
We describe a novel method of evolutionary visual learning that uses generative approach for assessing learner’s ability to recognize image contents. Each learner, implemented as...
Wojciech Jaskowski, Krzysztof Krawiec, Bartosz Wie...
PADL
2005
Springer
14 years 3 months ago
Towards Provably Correct Code Generation via Horn Logical Continuation Semantics
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
Qian Wang, Gopal Gupta, Michael Leuschel
ICDAR
2003
IEEE
14 years 3 months ago
Generation of Synthetic Training Data for an HMM-based Handwriting Recognition System
A perturbation model for generating synthetic textlines from existing cursively handwritten lines of text produced by human writers is presented. Our purpose is to improve the per...
Tamás Varga, Horst Bunke
ITS
2010
Springer
155views Multimedia» more  ITS 2010»
14 years 3 months ago
Generating Proactive Feedback to Help Students Stay on Track
In a tutoring system based on an exploratory environment, it is also important to provide direct guidance to students. We endowed iList, our linked list tutor, with the ability to ...
Davide Fossati, Barbara Di Eugenio, Stellan Ohlsso...
AMI
2008
Springer
14 years 6 days ago
Adaptive Estimation of Emotion Generation for an Ambient Agent Model
To improve the performance and wellbeing of humans in complex human-computer interaction settings, an interesting challenge for an ambient (or pervasive) agent system is to recogni...
Tibor Bosse, Zulfiqar A. Memon, Jan Treur