32 search results - page 6 / 7 » latin 2004 |
145
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
142
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
Predicting and optimizing the performance of ray shooting is a very important problem in computer graphics due to the severe computational demands of ray tracing and other applicat...
133
click to vote
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
Given a finite set V , and integers k ≥ 1 and r ≥ 0, denote by A(k, r) the class of hypergraphs A ⊆ 2V with (k, r)-bounded intersections, i.e. in which the intersection of a...
131
Voted
LATIN
2004
Springer
15 years 10 months ago
2004
Springer
For several graph-theoretic parameters such as vertex cover and dominating set, it is known that if their sizes are bounded by k then the treewidth of the graph is bounded by some ...
133
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
A central problem in music information retrieval is finding suitable representations which enable efficient and accurate computation of musical similarity and identity. Low leve...