3151 search results - page 483 / 631 » Using query term order for result summarisation |
260
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
150
click to vote
CN
2008
15 years 5 months ago
2008
The evolution of telecommunications during the last decades has been enormous and as a result, nowadays, people find themselves before the challenge of 4G networks. Due to the fac...
184
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Test suite augmentation techniques are used in regression testing to identify code elements affected by changes and to generate test cases to cover those elements. Our preliminary...
184
click to vote
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
161
click to vote
MIR
2010
ACM
15 years 7 months ago
2010
ACM
Multimedia ranking algorithms are usually user-neutral and measure the importance and relevance of documents by only using the visual contents and meta-data. However, users’ int...