506 search results - page 75 / 102 » Proving Properties about Lists Using Containers |
196
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- When dealing with massive quantities of data, topk queries are a powerful technique for returning only the k most relevant tuples for inspection, based on a scoring func...
SIGCSE
2004
ACM
15 years 3 months ago
2004
ACM
Many algorithm visualizations have been created, but little is known about which features are most important to their success. We believe that pedagogically useful visualizations ...
112
click to vote
ARGMAS
2007
Springer
15 years 1 months ago
2007
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...
WINE
2009
Springer
15 years 4 months ago
2009
Springer
Sponsored search auction is used by most search engines to select ads to display on the web page of a search result, according to advertisers’ bidding prices. The income of this ...
FSMNLP
2005
Springer
15 years 3 months ago
2005
Springer
Compounding is a very productive process in German to form complex nouns and adjectives which represent about 7% of the words of a newspaper text. Unlike English, German compounds ...