1370 search results - page 237 / 274 » Towards Automatic Generation of Natural Language Generation ... |
123
click to vote
HASKELL
2005
ACM
15 years 5 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
109
click to vote
ASPLOS
1992
ACM
15 years 3 months ago
1992
ACM
Next generation computer systems will have gigabytes of physical memory and processors in the 200 MIPS range or higher. While this trend suggests that memory management for most p...
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
122
click to vote
SIGIR
2009
ACM
15 years 6 months ago
2009
ACM
Indexing and retrieval of speech content in various forms such as broadcast news, customer care data and on-line media has gained a lot of interest for a wide range of application...
111
click to vote
APGV
2004
ACM
15 years 5 months ago
2004
ACM
We describe a new computational approach to stylize the colors of an image by using a reference image. During processing, we take characteristics of human color perception into ac...