1791 search results - page 14 / 359 » Two Types of Multiple-Conclusion Systems |
129
Voted
ITS
2004
Springer
15 years 7 months ago
2004
Springer
While human tutors typically interact with students using spoken dialogue, most computer dialogue tutors are text-based. We have conducted two experiments comparing typed and spoke...
164
Voted
ESOP
2012
Springer
13 years 10 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
123
click to vote
TLDI
2003
ACM
15 years 7 months ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
TLDI
2005
ACM
15 years 8 months ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
121
Voted
ICFP
2004
ACM
16 years 2 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...