8437 search results - page 549 / 1688 » Preferences over Sets |
180
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
This paper reports on an empirical evaluation of the fault-detecting ability of two white-box software testing techniques: decision coverage (branch testing) and the all-uses data...
178
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Ranking a set retrieval systems according to their retrieval effectiveness without relying on relevance judgments was first explored by Soboroff et al. [13]. Over the years, a numb...
179
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
We describe a method for automatically generating Lexical Transfer Rules (LTRs) from word equivalences using transfer rule templates. Templates are skeletal LTRs, unspecified for ...
195
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In a seminal paper from 1985, Sistla and Clarke showed that the model-checking problem for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the se...
184
click to vote
GLOBECOM
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper addresses the issue of network life during repeated broadcasts originating from the same source in large, strip-shaped wireless sensor networks. The proposed technique w...