4193 search results - page 122 / 839 » Measurable Categories |
112
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
135
click to vote
WWW
2010
ACM
15 years 9 months ago
2010
ACM
This paper studies the compressibility of RDF data sets. We show that big RDF data sets are highly compressible due to the structure of RDF graphs (power law), organization of URI...
125
click to vote
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
120
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, a new method for assigning credit to search operators is presented. Starting with the principle of optimizing search bias, search operators are selected based on an...
144
click to vote
SGP
2004
15 years 6 months ago
2004
In this paper, we present the Symmetry Descriptors of a 3D model. This is a collection of spherical functions that describes the measure of a model's rotational and reflectiv...