Sciweavers

493 search results - page 12 / 99
» Strategies and simulations in a semantic framework
Sort
View
LWA
2004
14 years 11 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
CSL
2008
Springer
14 years 11 months ago
Quantitative Game Semantics for Linear Logic
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
Ugo Dal Lago, Olivier Laurent
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 3 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
MM
2004
ACM
124views Multimedia» more  MM 2004»
15 years 3 months ago
An online-optimized incremental learning framework for video semantic classification
This paper considers the problems of feature variation and concept uncertainty in typical learning-based video semantic classification schemes. We proposed a new online semantic c...
Jun Wu, Xian-Sheng Hua, HongJiang Zhang, Bo Zhang
PPDP
2009
Springer
15 years 4 months ago
An Isabelle/HOL-based model of stratego-like traversal strategies
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...
Markus Kaiser, Ralf Lämmel