3443 search results - page 578 / 689 » More Algebras for Determiners |
DAC
2006
ACM
14 years 9 months ago
2006
ACM
In a placed circuit, there are a lot of movable cells that can be flipped to further reduce the total wirelength, without affecting the original placement solution. We aim at solv...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Rich media social networks promote not only creation and consumption of media, but also communication about the posted media item. What causes a conversation to be interesting, th...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
Ad auctions in sponsored search support"broad match"that allows an advertiser to target a large number of queries while bidding only on a limited number. While giving mo...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Previous studies comparing the prediction accuracy of effort models built using Web cross- and single-company data sets have been inconclusive, and as such replicated studies are ...