561 search results - page 41 / 113 » A Constructive Approach to Testing Model Transformations |
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
This paper presents a sum of squares (SOS) approach to the stability analysis of networked control systems (NCSs) incorporating time-varying delays and time-varying transmission in...
101
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
107
click to vote
AIEDU
2005
14 years 11 months ago
2005
The Bayesian framework offers a number of techniques for inferring an individual's knowledge state from evidence of mastery of concepts or skills. A typical application where ...
103
click to vote
CHI
1995
ACM
15 years 3 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
105
click to vote
PAMI
1998
14 years 11 months ago
1998
—In this paper, we propose an analytic-to-holistic approach which can identify faces at different perspective variations. The database for the test consists of 40 frontal-view fa...