Sciweavers

4163 search results - page 218 / 833
» A comprehensive combination framework
Sort
View
BIRTHDAY
2004
Springer
15 years 12 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
LWA
2004
15 years 7 months ago
An Assessment Framework for eLearning in the Semantic Web
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
Lilia Cheniti-Belcadhi, Nicola Henze, Rafik Braham
ICEB
2004
234views Business» more  ICEB 2004»
15 years 8 months ago
A Component-based Framework for Distributed Business Simulations in E-Business Environments
Simulations preserve the knowledge of complex dynamic systems and consequently transfer the knowledge of the cohesions of its elements to a specified target group. As the progress...
Alexander Hampel, Edward Bernroider
GECCO
2008
Springer
155views Optimization» more  GECCO 2008»
15 years 7 months ago
A no-free-lunch framework for coevolution
The No-Free-Lunch theorem is a fundamental result in the field of black-box function optimization. Recent work has shown that coevolution can exhibit free lunches. The question a...
Travis C. Service, Daniel R. Tauritz
MAGS
2006
150views more  MAGS 2006»
15 years 6 months ago
The Agent-Rule-Class framework for Multi-Agent Systems
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
Liang Xiao 0002, Des Greer