834 search results - page 145 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
117
Voted
SIGECOM
2004
ACM
15 years 9 months ago
2004
ACM
We consider the problem of a spatially distributed market with strategic agents. A single good is traded in a set of independent markets, where shipment between markets is possibl...
135
Voted
PACT
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
156
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Many visual search and matching systems represent images using sparse sets of "visual words": descriptors that have been quantized by assignment to the best-matching symb...
155
Voted
PDPTA
2003
15 years 5 months ago
2003
The evolution of distributed applications to reflect structural changes or to adapt to specific conditions of the run-time environment is a difficult issue especially if continuou...
148
Voted
EOR
2007
15 years 3 months ago
2007
A well known industry application that allows controllable processing times is the manufacturing operations on CNC machines. For each turning operation as an example, there is a n...