2542 search results - page 309 / 509 » An Operational Definition of Context |
179
click to vote
SIGCSE
2000
ACM
15 years 11 months ago
2000
ACM
Undergraduates are usually introduced to synchronization in operating systems through a discussion of classical problems such as reader-writer or producers-consumers. The traditio...
229
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
The paper investigates the use of computational intelligence for adaptive lesson presentation in a Web-based learning environment. A specialized connectionist architecture is devel...
158
click to vote
ECRTS
1999
IEEE
15 years 11 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...
172
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
192
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
The field of music provides an interesting context for the development of digital library systems due to the variety of information formats used by music students and scholars. Th...