Sciweavers

2905 search results - page 111 / 581
» Formal Memetic Algorithms
Sort
View
ICCS
2007
Springer
14 years 4 months ago
An Inferential Approach to the Generation of Referring Expressions
This paper presents a Conceptual Graph (cg) framework to the Generation of Referring Expressions (gre). Employing Conceptual Graphs as the underlying formalism allows a new rigorou...
Madalina Croitoru, Kees van Deemter
SKG
2006
IEEE
14 years 4 months ago
Ontology Enabled Learning Resource Modeling and Management
In this paper, we proposed the learning resource ontology(LRO) models to formally describe learning content and learning context, respectively. In addition to utilizing the models...
Zongkai Yang, Tao Huang, Qingtang Liu, Xia Li, Bei...
SAS
1994
Springer
14 years 2 months ago
Generating Transformers for Deforestation and Supercompilation
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
Robert Glück, Jesper Jørgensen
FLAIRS
2003
13 years 11 months ago
When Regions Start to Move
In this paper, we discuss a formalism for modeling regions that are exposed to movement or deformation. The basis of our formalism is the RCC theory, which uses topological relati...
Hans W. Guesgen
SCM
2003
13 years 11 months ago
Merging Collection Data Structures in a Content Management System
Abstract. Motivated by our work on object-oriented Content Management, this paper proposes an extensible formal framework for delta and merging strategies, each applicable to a spe...
Axel Wienberg