4460 search results - page 601 / 892 » Formal methods for interactive systems |
168
click to vote
COLING
1996
15 years 8 months ago
1996
Statistical language models play a major role in current speech recognition systems. Most of these models have focussed on relatively local interactions between words. Recently, h...
185
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Network emulation, in which real systems interact with a network simulation, is a common evaluation method in computer networking research. Until now, the simulation in charge of ...
135
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
A postcompletion error is a distinct type of procedural error where one fails to complete the final step of a task. While redesigning interfaces and providing explicit cues have b...
153
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This dissertation research explores the invocation of emotional support from friends and family for parents who have a baby in a Neonatal Intensive Care Unit, through the use of t...
170
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
We are developing a computer system which provides information about babies in neonatal intensive care to family members and friends. A key challenge is deciding what information ...