Sciweavers

584 search results - page 33 / 117
» On Applying Set Covering Models to Test Set Compaction
Sort
View
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 3 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
ICIP
2002
IEEE
16 years 1 months ago
Fitting smooth surfaces to scattered 3D data using piecewise quadratic approximation
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...
Hélio Pedrini, Murilo Vicente Gonçal...
DOCENG
2009
ACM
15 years 6 months ago
Test collection management and labeling system
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...
Eunyee Koh, Andruid Kerne, Sarah Berry
WSC
2000
15 years 1 months ago
Tire model for simulations of vehicle motion on high and low friction road surfaces
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...
James Lacombe
CGF
1998
98views more  CGF 1998»
14 years 11 months ago
An Enhanced Spring Model for Information Visualization
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...
Holger Theisel, Matthias Kreuseler