2643 search results - page 142 / 529 » Higher order messaging |
106
click to vote
HCI
2007
15 years 6 months ago
2007
A lighting control method has been proposed which adjusts the circadian rhythms of office workers and eliminates a decrease in the arousal level in the afternoon by exposing a high...
118
click to vote
ACL
2001
15 years 6 months ago
2001
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...
142
Voted
CSL
2002
Springer
15 years 4 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
188
Voted
ENTCS
2002
15 years 4 months ago
2002
The past decade has seen an explosion of work on calculi of explicit substitutions. Numerous work has illustrated the usefulness of these calculi for practical notions like the im...
121
click to vote
SCP
1998
15 years 4 months ago
1998
In STOC 93, Jones sketched the existence of a hierarchy within problems decidable in linear time by a first-order functional language based on tree-structured data (F), as well a...