2221 search results - page 99 / 445 » Experiences Building PlanetLab |
115
Voted
MPC
1998
Springer
15 years 7 months ago
1998
Springer
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
109
Voted
SIGCSE
1995
ACM
15 years 7 months ago
1995
ACM
Students get more out of an interactive lecture than a passive lecture because they are given time to think. This time allows them to determine if they understand a concept, and i...
109
Voted
ACL
2008
15 years 5 months ago
2008
We present the development and tuning of a topic-adapted language model for word prediction, which improves keystroke savings over a comparable baseline. We outline our plans to d...
140
Voted
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
We present an implemented machine learning system for the automatic detection of nonreferential it in spoken dialog. The system builds on shallow features extracted from dialog tr...
124
Voted
WSC
2001
15 years 5 months ago
2001
"Spreadsheet simulation" refers to the use of a spreadsheet as a platform for representing simulation models and performing simulation experiments. This tutorial explain...