286 search results - page 4 / 58 » A Loop-Aware Search Strategy for Automated Performance Analy... |
WWW
2007
ACM
14 years 6 months ago
2007
ACM
Although personalized search has been proposed for many years and many personalization strategies have been investigated, it is still unclear whether personalization is consistent...
SCAM
2007
IEEE
14 years 7 days ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...
TIME
2005
IEEE
13 years 11 months ago
2005
IEEE
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
INFOCOM
2010
IEEE
13 years 3 months ago
2010
IEEE
We propose a distributed mechanism for finding websurfing strategies that is inspired by the StumbleUpon recommendation engine. Each day, a websurfer visits a sequence of websites ...
SIGIR
2006
ACM
13 years 12 months ago
2006
ACM
In interactive question answering (QA), users and systems take turns to ask questions and provide answers. In such an interactive setting, user questions largely depend on the ans...