1762 search results - page 117 / 353 » Brahms: simulating practice for work systems design |
EMNLP
2004
14 years 11 months ago
2004
We describe experiments carried out with adaptive language and translation models in the context of an interactive computer-assisted translation program. We developed cache-based ...
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
—Multiple-input multiple-output (MIMO) precoding scheme is developed for time division duplex (TDD) systems in a multicell environment. The proposed scheme is designed to maximiz...
DAC
2011
ACM
13 years 9 months ago
2011
ACM
Just as electronic systems implement computation in terms of voltage (energy per unit charge), molecular systems compute in terms of chemical concentrations (molecules per unit vo...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
‘Today’ messages are short status emails sent daily by members of a project team. We present the results of a field study of the use of ‘today’ messages by six small work ...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...