837 search results - page 107 / 168 » Hard combinators |
117
click to vote
SIGSOFT
2007
ACM
16 years 18 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
102
click to vote
SIGSOFT
2006
ACM
16 years 18 days ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
116
click to vote
WWW
2009
ACM
16 years 16 days ago
2009
ACM
Transferring knowledge from one domain to another is challenging due to a number of reasons. Since both conditional and marginal distribution of the training data and test data ar...
WWW
2008
ACM
16 years 16 days ago
2008
ACM
Most models for online advertising assume that an advertiser's value from winning an ad auction, which depends on the clickthrough rate or conversion rate of the advertisemen...
105
click to vote
WWW
2008
ACM
16 years 16 days ago
2008
ACM
In many cases, rather than a keyword search, people intend to see what is going on through the Internet. Then the integrated comprehensive information on news topics is necessary,...