9572 search results - page 255 / 1915 » Cover Algorithms and Their Combination |
181
click to vote
AMOST
2005
ACM
16 years 3 days ago
2005
ACM
The combinatorial approach to software testing uses models to generate a minimal number of test inputs so that selected combinations of input values are covered. The most common c...
132
click to vote
FM
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
180
click to vote
JMLR
2008
15 years 6 months ago
2008
Closed sets have been proven successful in the context of compacted data representation for association rule learning. However, their use is mainly descriptive, dealing only with ...
162
click to vote
ACL
2011
14 years 10 months ago
2011
Tree-to-string translation is syntax-aware and efficient but sensitive to parsing errors. Forestto-string translation approaches mitigate the risk of propagating parser errors in...
200
click to vote
ICCCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—We investigate the p-percent coverage problem in this paper and propose two algorithms to prolong network lifetime based on the fact that for some applications full coverage is ...