5128 search results - page 334 / 1026 » When Abstraction Fails |
189
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
173
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an empirical study assessing the impact of tailoring on information seeking tasks. Our aim was to evaluate whether providing tailored information would help pe...
162
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A good way to help users finding relevant items on document platforms consists in suggesting content in accordance with their preferences. When implementing such a recom...
186
click to vote
WILF
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a machine learning approach for classifying sentences as one-liner jokes or normal sentences. We use no deep analysis of the meaning to try to see if it is hum...
169
click to vote
WOLLIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract: The aim of this work is to analyze the relationship between interval QL-implications and interval D-implications, studying some properties that relate these concepts. We ...