2343 search results - page 173 / 469 » Structure and Interpretation of Computer Programs |
130
Voted
HIPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Parallelizing a sequential algorithm—i.e., manually or automatically converting it into an equivalent parallel distributed algorithm—is an important problem. Ideally,...
160
click to vote
AIR
2004
15 years 5 months ago
2004
Ensuring truthfulness amongst self-interested agents bidding against one another in an auction can be computationally expensive when prices are determined using the Vickrey-Clarke-...
169
Voted
JMLR
2010
15 years 3 months ago
2010
The problem of computing a maximum a posteriori (MAP) configuration is a central computational challenge associated with Markov random fields. There has been some focus on “tr...
134
click to vote
ICPR
2002
IEEE
15 years 10 months ago
2002
IEEE
MRI examinations may be used to monitor the progress of neurological disease. Arising structural changes can then be quantified using non-rigid registration procedures. However, ...
147
Voted
ISMIS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This paper presents a framework for reasoning using intervals. Two interpretations of intervals are examined, one treats intervals as bounds of a truth evaluation functio...