2132 search results - page 166 / 427 » The Challenges of Automatic Summarization |
149
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
127
click to vote
IANDC
2010
15 years 2 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
110
Voted
TAP
2010
Springer
15 years 1 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
159
click to vote
CSDA
2011
14 years 7 months ago
2011
Imputation of missing values is one of the major tasks for data pre-processing in many areas. Whenever imputation of data from official statistics comes into mind, several (additi...
105
Voted
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
Initial studies have shown that automatic inference of high-level image quality or aesthetics is very challenging. The ability to do so, however, can prove beneficial in many appl...