2374 search results - page 263 / 475 » The language of machines |
184
click to vote
WOMPAT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The recent parallel language standard for shared memory multiprocessor (SMP) machines, OpenMP, promises a simple and portable interface for programmers who wish to exploi...
165
Voted
AAAI
2007
15 years 9 months ago
2007
We present a novel Text-to-Picture system that synthesizes a picture from general, unrestricted natural language text. The process is analogous to Text-to-Speech synthesis, but wi...
207
click to vote
EMNLP
2011
14 years 6 months ago
2011
When translating among languages that differ substantially in word order, machine translation (MT) systems benefit from syntactic preordering—an approach that uses features fro...
240
click to vote
JMLR
2012
13 years 9 months ago
2012
Temporal Clustering (TC) refers to the factorization of multiple time series into a set of non-overlapping segments that belong to k temporal clusters. Existing methods based on e...
287
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...