4498 search results - page 534 / 900 » How to Invent Functions |
205
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
226
Voted
WSDM
2012
ACM
14 years 2 months ago
2012
ACM
We present a new approach for personalizing Web search results to a specific user. Ranking functions for Web search engines are typically trained by machine learning algorithms u...
223
Voted
BPM
2005
Springer
16 years 8 days ago
2005
Springer
Business Process Management is considered an essential strategy to create and maintain competitive advantage by streamlining and monitoring corporate processes. While the identific...
202
Voted
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
The Internet was designed to always find a route if there is a policycompliant path. However, in many cases, connectivity is disrupted despite the existence of an underlying vali...
216
Voted
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Generic programming (GP) is an increasingly important trend in programming languages. Well-known GP mechanisms, such as type classes and the C++0x concepts proposal, usually combi...