Sciweavers

953 search results - page 3 / 191
» Constraint Based Transformation Theory
Sort
View
AIED
2009
Springer
13 years 12 months ago
Student Knowledge Diagnosis Using Item Response Theory and Constraint-Based Modeling
One of the most popular student modeling techniques currently available is Constraint Based Modeling (CBM), which is based on Ohlsson's theory of learning from performance err...
Jaime Gálvez, Eduardo Guzmán, Ricard...
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
13 years 10 months ago
Design-Space Exploration through Constraint-Based Model-Transformation
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
Bernhard Schätz, Florian Hölzl, Torbj&ou...
ICIP
2003
IEEE
14 years 6 months ago
Projection based image and video inpainting using wavelets
In this paper, we present a technique for automatic color image inpainting, the art of modifying an image-region in a non-detectable form. The main algorithm is based on the theor...
Kedar A. Patwardhan, Guillermo Sapiro
SAC
2006
ACM
13 years 11 months ago
Simplifying transformation of software architecture constraints
The heterogeneity of architectural constraint languages makes difficult the transformation of architectural constraints throughout the development process. Indeed they have signiï...
Chouki Tibermacine, Régis Fleurquin, Salah ...
ACTA
2004
86views more  ACTA 2004»
13 years 5 months ago
Specification transformers: a predicate transformer approach to composition
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
Michel Charpentier, K. Mani Chandy