584 search results - page 33 / 117 » On Applying Set Covering Models to Test Set Compaction |
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
The approximation of surfaces to scattered data is an important problem encountered in a variety of scientific applications, such as reverse engineering, computer vision, computer...
DOCENG
2009
ACM
14 years 2 months ago
2009
ACM
In order to evaluate the performance of information retrieval and extraction algorithms, we need test collections. A test collection consists of a set of documents, a clearly form...
WSC
2000
13 years 9 months ago
2000
An on-road analytical tire model has been developed to predict tire forces and moments at the tire/road interface. The model is computationally efficient and it only requires a li...
CGF
1998
13 years 7 months ago
1998
In this paper we present a new technique for visualizing multidimensional information. We describe objects of a higher dimensional information space as small closed free-form-surf...