1552 search results - page 135 / 311 » From Automatic Structures to Borel Structures |
153
Voted
JAR
2010
15 years 1 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
135
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
When a query is submitted to a search engine, the search engine returns a dynamically generated result page containing the result records, each of which usually consists of a link...
126
click to vote
JCDL
2006
ACM
15 years 9 months ago
2006
ACM
A number of projects are creating searchable digital libraries of printed books. These include the Million Book Project, the Google Book project and similar efforts from Yahoo an...
143
click to vote
MIR
2006
ACM
15 years 9 months ago
2006
ACM
We present a technique for combining audio signal-based music similarity with web-based musical artist similarity to accelerate the task of automatic playlist generation. We demon...
129
Voted
SI3D
1999
ACM
15 years 7 months ago
1999
ACM
We present a new approach for simplifying polygonal objects. Our method is general in that it works on models that contain both non-manifold geometry and surface attributes. It is...