5499 search results - page 388 / 1100 » Generalized Rewrite Theories |
182
click to vote
SIGECOM
2008
ACM
15 years 7 months ago
2008
ACM
We examine a class of wagering mechanisms designed to elicit truthful predictions from a group of people without requiring any outside subsidy. We propose a number of desirable pr...
167
click to vote
ACS
2005
15 years 7 months ago
2005
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched ...
176
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
One of the major approaches to approximation of logical theories is the upper and lower bounds approach introduced in (Selman and Kautz, 1991, 1996). In this paper, we address the...
174
click to vote
TIP
2008
15 years 7 months ago
2008
The theories of signal sampling, filter banks, wavelets and "overcomplete wavelets" are well-established for the Euclidean spaces and are widely used in the processing a...
207
click to vote
JMIV
2000
15 years 7 months ago
2000
A general paradigm for recognizing 3D objects is offered, and applied to some geometric primitives (spheres, cylinders, cones, and tori). The assumption is that a curve on the surf...