215 search results - page 30 / 43 » Church-Rosser Made Easy |
101
click to vote
IADIS
2004
15 years 1 months ago
2004
The three-year comparative study analyses progress made by students (of similar academic aptitude) on the same undergraduate level module delivered via traditional blended and onl...
106
click to vote
WSC
1997
15 years 1 months ago
1997
In response to the expressed needs of MedModel users, PROMODEL Corporation has made substantial improvements in its MedModel healthcare simulation software. Beginning with its inc...
COLING
1996
15 years 1 months ago
1996
This paper presents a way to compute relative social status of the individuals involved in Korean dialogue. Every Korean sentence indicates whether honorification occurs in it. Th...
110
click to vote
SOSP
2007
ACM
15 years 8 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
112
Voted
CVPR
1999
IEEE
16 years 1 months ago
1999
IEEE
The task of multi-camera surveillance is to reconstruct the paths taken by all moving objects that are temporarily visible from multiple non-overlapping cameras. We present a Baye...