1588 search results - page 212 / 318 » On the Logic of Constitutive Rules |
110
Voted
ICWE
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents AWAC, a prototype CAWE tool for the automatic generation of adaptive Web applications based on the A-OOH methodology. A-OOH (Adaptive OO-H) is an extension of t...
105
click to vote
ICWL
2007
Springer
15 years 7 months ago
2007
Springer
In e-testing it is important to administer tests composed of good quality question items. By the term “quality” we intend the potential of an item in effectively discriminating...
123
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Motivated by three applications which are under investigation at the Honeywell Research Laboratory in Minneapolis, we introduce a class of large scale control problems. I...
100
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...