3713 search results - page 474 / 743 » Constructing a Calculus of Programs |
154
Voted
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
We consider a model of learning Boolean functions from quantum membership queries. This model was studied in [26], where it was shown that any class of Boolean functions which is i...
124
Voted
UM
2001
Springer
15 years 8 months ago
2001
Springer
Our work explores an interactive open learner modelling (IOLM) approach where learner diagnosis is considered as an interactive process involving both a computer system and a learn...
132
click to vote
UM
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we suggest an integrated architecture that makes use of the objective-technical information provided by the designer and the subjectiveperceptual information supplie...
152
click to vote
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a n...
135
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...