377 search results - page 37 / 76 » Advanced Microeconomic Theory |
DGCI
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Discrete tomography is a powerful approach for reconstructing images that contain only a few grey levels from their projections. Most theory and reconstruction algorithms...
AICOM
2010
13 years 7 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
ENTCS
2010
13 years 7 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
CGA
2006
13 years 7 months ago
2006
: Despite recent advances in map-generalization tools and theories, this work has been slow to find its way into the hands of the map-making public. Mapshaper.org is a free-touse g...
FTNET
2006
13 years 7 months ago
2006
This article reviews progress in cooperative communication networks. Our survey is by no means exhaustive. Instead, we assemble a representative sample of recent results to serve ...