Sciweavers

305 search results - page 38 / 61
» Preference and Non-deterministic Choice
Sort
View
ICSEA
2006
IEEE
15 years 3 months ago
A Partition-Based Approach for XPath Testing
—The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be ...
Claudio de la Riva, José García-Fanj...
SG
2005
Springer
15 years 3 months ago
Metrics for Functional and Aesthetic Label Layouts
Abstract. Co-referential relations between textual and visual elements in illustrations can be encoded efficiently through textual labels. The labels support students to learn unk...
Knut Hartmann, Timo Götzelmann, Kamran Ali, T...
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
15 years 3 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn
OHS
2001
Springer
15 years 2 months ago
The Impact of Empirical Studies on the Design of an Adaptive Hypertext Generation System
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...
Kalina Bontcheva
ICGI
1994
Springer
15 years 1 months ago
Inducing Probabilistic Grammars by Bayesian Model Merging
We describe a framework for inducing probabilistic grammars from corpora of positive samples. First, samples are incorporated by adding ad-hoc rules to a working grammar; subseque...
Andreas Stolcke, Stephen M. Omohundro