887 search results - page 111 / 178 » Dimensions of Subjectivity in Natural Language |
IEE
2008
14 years 10 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
SIGCSE
2008
ACM
14 years 9 months ago
2008
ACM
Blind students are an underrepresented group in computer science. In this paper, we describe our experience preparing and leading the computer science track at the National Federa...
137
click to vote
DLS
2009
14 years 7 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Cross-lingual voice transformation is challenging when source language (L1) and target language (L2) are very different in corresponding phonetics and prosodies. We propose a fram...
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
Diagnosing software failures in the field is notoriously difficult, in part due to the fundamental complexity of trouble-shooting any complex software system, but further exacer...