Sciweavers

493 search results - page 12 / 99
» Strategies and simulations in a semantic framework
Sort
View
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
CSL
2008
Springer
15 years 7 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 11 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 11 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
16 years 17 days 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