1888 search results - page 212 / 378 » Proof theory and computational analysis |
172
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
We propose a geometric constraint solving method based on connectivity analysis in graph theory, which can be used to decompose a well-constrained problem into some smaller ones i...
180
click to vote
AAAI
2010
15 years 8 months ago
2010
We present the design and analysis of an approximately incentive-compatible combinatorial auction. In just a single run, the auction is able to extract enough value information fr...
356
click to vote
COMPGEOM
2011
ACM
14 years 10 months ago
2011
ACM
Several recent works considered cooperative cleaning in static and dynamic environments, which incorporates a swarm of simple robots cleaning an expanding region of contaminated c...
146
click to vote
SIGECOM
2009
ACM
16 years 1 months ago
2009
ACM
We consider models for bargaining in social networks, in which players are represented by vertices and edges represent bilateral opportunities for deals between pairs of players. ...
194
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we apply the classic theory of Harmonic Analysis and the Conformal Geometric Algebra (CGA) to evaluate the Fourier transform on the unit sphere S2 and on the rotatio...