Sciweavers

782 search results - page 10 / 157
» Can a Parser be Generated from Examples
Sort
View
94
Voted
FMICS
2006
Springer
15 years 7 months ago
Can Saturation Be Parallelised?
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
Jonathan Ezekiel, Gerald Lüttgen, Radu Simini...
166
Voted
BXML
2003
15 years 4 months ago
Rule-Based Generation of XML Schemas from UML Class Diagrams
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
Tobias Krumbein, Thomas Kudrass
138
Voted
IEAAIE
2001
Springer
15 years 8 months ago
Selecting a Relevant Set of Examples to Learn IE-Rules
The growing availability of online text has lead to an increase in the use of automatic knowledge acquisition approaches from textual data, as in Information Extraction (IE). Some ...
Jordi Turmo, Horacio Rodríguez
ICALT
2006
IEEE
15 years 9 months ago
The Generation of E-Learning Exercise Problems from Subject Ontologies
The teaching/ learning of cognitive skills, such as problem-solving, is an important goal in most forms of education. In well-structured subject areas certain exercise problem typ...
Edmond Holohan, Mark Melia, Declan McMullen, Claus...
94
Voted
AIED
2009
Springer
15 years 10 months ago
Collaborative Dialog While Studying Worked-out Examples
Self-explaining is a beneficial learning strategy for studying worked-out examples because it either supplies missing information through the generation of inferences or because it...
Robert G. M. Hausmann, Timothy J. Nokes, Kurt VanL...