8398 search results - page 1074 / 1680 » Optimal Software Testing |
233
click to vote
ALGORITHMICA
2011
15 years 2 months ago
2011
We consider the problem of computing efficient strategies for searching in trees. As a generalization of the classical binary search for ordered lists, suppose one wishes to find...
194
Voted
COLING
2010
15 years 2 months ago
2010
Plagiarism is the use of the language and thoughts of another work and the representation of them as one's own original work. Various levels of plagiarism exist in many domai...
167
click to vote
JMLR
2010
15 years 2 months ago
2010
This paper describes a set of visualization tools which aid the understanding of discussion topics and trends in online discussion forums. The tools integrate into the forum'...
186
Voted
NETWORK
2010
15 years 2 months ago
2010
In this article, a new model to simulate different failure propagation scenarios in GMPLS-based networks is proposed. Several types of failures and malfunctions may spread along t...
223
Voted
STTT
2010
15 years 2 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...