3155 search results - page 488 / 631 » An algorithm for optimal difference systems of sets |
171
click to vote
DCOSS
2011
Springer
14 years 5 months ago
2011
Springer
Abstract—We first present a problem called precedence constrained two traveling salesman (PC2TSP). We propose a nearoptimal heuristic to PC2TSP to generate tours by clustering p...
171
click to vote
ICCD
2000
IEEE
15 years 9 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
129
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
WebPMI is a popular web-based association measure to evaluate the semantic similarity between two queries (i.e. words or entities) by leveraging search results returned by search ...
138
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
142
click to vote
ICASSP
2008
IEEE
15 years 12 months ago
2008
IEEE
This paper considers the problem of predictive fusion coding for storage of multiple spatio-temporally correlated sources so as to enable efficient selective retrieval of data fr...