1878 search results - page 237 / 376 » Feature Generation Using General Constructor Functions |
169
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
122
click to vote
WWW
2002
ACM
16 years 2 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
114
Voted
NJC
2006
15 years 2 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
100
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
Social tagging provides valuable and crucial information for large-scale web image retrieval. It is ontology-free and easy to obtain; however, irrelevant tags frequently appear, a...
127
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Today, a huge amount of text is being generated for social purposes on social networking services on the Web. Unlike traditional documents, such text is usually extremely short an...