Sciweavers

19130 search results - page 3766 / 3826
» Modelling multi-path problems
Sort
View
FOSSACS
2008
Springer
14 years 11 months ago
Erasure and Polymorphism in Pure Type Systems
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
Nathan Mishra-Linger, Tim Sheard
BCSHCI
2007
14 years 11 months ago
Exploring potential usability gaps when switching mobile phones: an empirical study
The present study explores potential usability gaps when users switch from a familiar to an unfamiliar mobile phone interface. A within-subject experiment was performed in which n...
Aiko Fallas Yamashita, Wolmet Barendregt, Morten F...
LREC
2010
272views Education» more  LREC 2010»
14 years 11 months ago
Automatic Annotation of Word Emotion in Sentences Based on Ren-CECps
Textual information is an important communication medium contained rich expression of emotion, and emotion recognition on text has wide applications. Word emotion analysis is fund...
Changqin Quan, Fuji Ren
EMNLP
2007
14 years 11 months ago
Improving Statistical Machine Translation Using Word Sense Disambiguation
We show for the first time that incorporating the predictions of a word sense disambiguation system within a typical phrase-based statistical machine translation (SMT) model cons...
Marine Carpuat, Dekai Wu
FAST
2007
14 years 11 months ago
Disk Failures in the Real World: What Does an MTTF of 1, 000, 000 Hours Mean to You?
Component failure in large-scale IT installations is becoming an ever larger problem as the number of components in a single cluster approaches a million. In this paper, we presen...
Bianca Schroeder, Garth A. Gibson
« Prev « First page 3766 / 3826 Last » Next »