4266 search results - page 175 / 854 » Search for More Declarativity |
133
click to vote
CHI
2004
ACM
16 years 5 months ago
2004
ACM
Internet search results are typically displayed as a list conforming to a static style sheet. The difficulty of perusing this list can be exacerbated when screen real estate is li...
126
click to vote
WSDM
2010
ACM
16 years 2 months ago
2010
ACM
We describe a machine learning approach for predicting sponsored search ad relevance. Our baseline model incorporates basic features of text overlap and we then extend the model t...
155
Voted
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
128
click to vote
FC
2009
Springer
15 years 11 months ago
2009
Springer
Attackers compromise web servers in order to host fraudulent content, such as malware and phishing websites. While the techniques used to compromise websites are widely discussed a...
129
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Software testing can be re-formulated as a search problem, hence search algorithms (e.g., Genetic Algorithms) can be used to tackle it. Most of the research so far has been of emp...