4880 search results - page 639 / 976 » Manuals as Structured Programs |
176
click to vote
UM
2007
Springer
16 years 27 days ago
2007
Springer
Student models for Intelligent Computer Assisted Language Learning (ICALL) have largely focused on the acquisition of grammatical structures. In this paper, we motivate a broader p...
148
click to vote
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
163
click to vote
UM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The study reported in this paper explores the effects of providing web users with link suggestions that are relevant to their tasks. Results indicate that link suggestion...
163
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
177
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
Data integration is one of the older research fields in the database area and has emerged shortly after database systems were first introduced into the business world. In this pa...