12774 search results - page 2348 / 2555 » A Framework for Proof Systems |
157
click to vote
SIGIR
2002
ACM
15 years 6 months ago
2002
ACM
An important class of searches on the world-wide-web has the goal to find an entry page (homepage) of an organisation. Entry page search is quite different from Ad Hoc search. Ind...
211
click to vote
TASLP
2002
15 years 6 months ago
2002
Abstract--Musical genres are categorical labels created by humans to characterize pieces of music. A musical genre is characterized by the common characteristics shared by its memb...
173
click to vote
TMM
2002
15 years 6 months ago
2002
Most image and video compression algorithms that have been proposed to improve picture quality relative to compression efficiency have either been designed based on objective crite...
178
click to vote
TOG
2002
15 years 6 months ago
2002
We present a procedural approach to authoring layered, solid models. Using a simple scripting language, we define the internal structure of a volume from one or more input meshes....
202
click to vote
TOG
2002
15 years 6 months ago
2002
This paper introduces a new kind of mosaic, called Jigsaw Image Mosaic (JIM), where image tiles of arbitrary shape are used to compose the final picture. The generation of a Jigsa...