3844 search results - page 385 / 769 » Modular interpreted systems |
132
click to vote
AAAI
2007
15 years 7 months ago
2007
Effective teaching involves treating the presentation of new material and the assessment of students’ mastery of this material as part of a seamless and continuous feedback cycl...
134
click to vote
ACMDIS
2008
ACM
15 years 7 months ago
2008
ACM
Affective computing systems face challenges in relating objective measures with subjective human experiences. Many systems have either focused on objective measures as a substitut...
137
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
126
click to vote
AEI
1998
15 years 4 months ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
165
click to vote
IFM
2010
Springer
15 years 3 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...